Proof Designer should work on any computer that supports a sufficiently up-to-date implementation of Java, and that can display the required mathematical symbols. This documents explains how to set up a Windows or Macintosh computer to use Proof Designer, and it also has suggestions about how to set up other systems. You may have to adjust the security settings of your version of Java to get Proof Designer to run on your computer. One way to do this is to add "https://app.cs.amherst.edu" or "http://app.cs.amherst.edu" to the Exception Site List in your Java security settings. Instructions for adjusting the security settings of Java can be found here.

To run Proof Designer in Windows, you will need the Java Plug-in. If you don't already have it, or if your version is out of date, you can download the latest version. On some systems, you will be able to do an automatic download. If you need to do a manual download, follow the instructions for downloading and installing the "JRE" (Java Runtime Environment).

The Plug-in is all you should need to get Proof Designer working on a Windows computer. However, to get the best results when you print proofs, you may also want to configure your browser so that it will display mathematical symbols properly. For more information about this, see the instructions for the Export HTML command.

If you are using Mac OS X, you don't need to do anything to configure your computer to use Proof Designer. The Export HTML command works in Safari 1.2 or newer, but it doesn't work in earlier versions of Safari, and you may need to install a plugin to get it to work in some other browsers. For more on this, see the instructions for the Export HTML command.

If you get Proof Designer running, but the mathematical symbols don't seem to be displaying correctly, then you might want to try asking Proof Designer to use a different font. To do this, you'll have to create your own web page with a link to Proof Designer. Your web page should look something like this:

<HTML> <HEAD> <TITLE>Proof Designer</TITLE> <SCRIPT language="JavaScript"> function showHTML() { outputWindow = window.open("", "", arguments[0]); outputWindow.document.open(); var n = arguments.length; for (var i = 1; i < n; i++) { outputWindow.document.writeln(arguments[i]); } outputWindow.document.close(); } </SCRIPT> </HEAD> <BODY> <APPLET codebase="http://www.cs.amherst.edu/~djv/pd" archive="ProofDesigner.jar" code="ProofDesigner.class" width="200" height="50" mayscript> <PARAM name="symbolface" value="Lucida Sans"> <PARAM name="fontsize" value="12"> </APPLET> </BODY> </HTML>

Proof Designer expects two parameters, “symbolface” and “fontsize”. The symbolface parameter tells Proof Designer what font to use when drawing mathematical symbols. In the sample HTML above, the symbolface parameter is set to Lucida Sans. If that doesn't work, then try using the name of some other font on your system as the symbolface parameter and see what happens.