diff options
| author | David Aspinall | 2000-03-23 16:45:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-23 16:45:56 +0000 |
| commit | 1a24a5e721af7304b410068218615973d481ff44 (patch) | |
| tree | 918192df26377d67c680749be6f99451863821f4 /html | |
| parent | 35646b0fe31bc9e23087b11e362ad29cbd01b3a2 (diff) | |
Update with Windows instructions, note about X-Symbol not on Windows
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/html/download.phtml b/html/download.phtml index fa56b047..a77f8d37 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -83,7 +83,7 @@ For displaying logical and mathematical symbols, the excellent package. <br>It's very easy to install. See <a href="#xsyminstall">here</a> for installation notes. -<br>X-Symbol presently only works with XEmacs. +<br>X-Symbol presently only works with XEmacs on systems running X. </li> <!-- <li> --> <!-- For FSF Emacs, a version of <tt>func-menu.el</tt> to get --> @@ -189,6 +189,12 @@ If you use the RPM package, <var>directory</var> is <tt>/usr/share/emacs/ProofGeneral</tt> </p> <p> +If you're using Windows, then download the zip file. +<br> +Use a zip file utility to unpack it somewhere, for example +<tt>c:\\ProofGeneral</tt> +</p> +<p> Further customization is possible via the Customize menus in Emacs. <br> |