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
Tue, 31 May 2005 10:58:51 +0200
changeset 16117 7c7da01ff77e
parent 16116 bb7ba5c5e632
child 16118 921936bd8847
tuned;
src/Pure/README file | annotate | diff | comparison | revisions 
--- a/src/Pure/README	Tue May 31 10:40:22 2005 +0200
+++ b/src/Pure/README	Tue May 31 10:58:51 2005 +0200
@@ -17,7 +17,7 @@
 
   isabelle -u RAW
 
-See ROOT.ML for further informatio.
+See ROOT.ML for further information.
 
 
 $Id$
isabelle