Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Fri, 16 Feb 2001 00:36:21 +0100
changeset 11146 449e1a1bb7a8
parent 11145 3e47692e3a3e
child 11147 d848c6693185
tuned;
README.html file | annotate | diff | comparison | revisions 
--- 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.
isabelle