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.
ISABELLE_USEDIR_OPTIONS="-i false";
authorwenzelm
Thu, 27 Aug 1998 13:53:41 +0200
changeset 5387 8f1157817bb6
parent 5386 4325d853494a
child 5388 678f34b3d560
ISABELLE_USEDIR_OPTIONS="-i false";
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Thu Aug 27 13:52:46 1998 +0200
+++ b/etc/settings	Thu Aug 27 13:53:41 1998 +0200
@@ -47,7 +47,7 @@
 ### Compilation options
 ###
 
-ISABELLE_USEDIR_OPTIONS=""
+ISABELLE_USEDIR_OPTIONS="-i false"
 
 
 ###
isabelle