# HG changeset patch
# User wenzelm
# Date 982280181 -3600
# Node ID 449e1a1bb7a89620380d288ef20908c9b5e82cad
# Parent  3e47692e3a3e4c695f6345b3534ed0c36817fd40
tuned;

diff -r 3e47692e3a3e -r 449e1a1bb7a8 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.