As of Netscape 2.0b6a, the frame currently selected is outlined in black. The results will be saved as an HTML-formatted document. The user can reconfigure the parser's style and look by clicking on the Options button and making selections from the window that is subsequently brought up. Output Style Allows the user to select the form of output. Text style approximates the Prawitz style using indentation rather than HTML tables.
Fitch style presents proofs in a column, with one step per row.
In this format, we indicate the string associated with each step. Clicking on the OK button submits the options selected and returns the user to the query frame. The Defaults button reverts all selections to their default values. As a result, the first call to the parser may be much slower than subsequent calls because of the need for my local machine to fetch a copy of SICStus Prolog to local memory. For those with small monitors, it may help to pull down the Options menu and hide all of the buttons, captions, sites, and other clutter that occupies the top portion of most browsers.