tuned;
authorwenzelm
Fri Feb 16 00:36:21 2001 +0100 (2001-02-16)
changeset 11146449e1a1bb7a8
parent 11145 3e47692e3a3e
child 11147 d848c6693185
tuned;
README.html
     1.1 --- a/README.html	Thu Feb 15 17:18:54 2001 +0100
     1.2 +++ b/README.html	Fri Feb 16 00:36:21 2001 +0100
     1.3 @@ -89,7 +89,7 @@
     1.4  
     1.5  <p>
     1.6  
     1.7 -Proof~General may be used together with the Emacs
     1.8 +Proof General may be used together with the Emacs
     1.9  <a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">
    1.10  X-Symbol package</a>, which provides a nice way to get proper
    1.11  mathematical symbols displayed on screen.