README.html
changeset 11146 449e1a1bb7a8
parent 11066 ceab8d437b96
child 11575 b4c7cb040644
     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.