README.html

--- a/README.html	Thu Feb 15 17:18:54 2001 +0100
+++ b/README.html	Fri Feb 16 00:36:21 2001 +0100
@@ -89,7 +89,7 @@
 
 <p>
 
-Proof~General may be used together with the Emacs
+Proof General may be used together with the Emacs
 <a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">
 X-Symbol package</a>, which provides a nice way to get proper
 mathematical symbols displayed on screen.