From 1a24a5e721af7304b410068218615973d481ff44 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Mar 2000 16:45:56 +0000
Subject: Update with Windows instructions, note about X-Symbol not on Windows

---
 html/download.phtml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'html')

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>
-- 
cgit v1.2.3