Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 15880 d6aa6c707acf
parent 15865 222092a48131
child 15881 dcce46230131 
--- a/etc/settings	Fri Apr 29 00:52:12 2005 +0200
+++ b/etc/settings	Fri Apr 29 08:03:01 2005 +0200
@@ -60,7 +60,7 @@
 
 
 ###
-### Compilation options for isatool usedir
+### Compilation options for isatool usedir[B
 ### (as on command line)
 ###
isabelle