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