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.
HOL/IMP: include session graph;
authorwenzelm
Wed, 19 Dec 2001 00:26:39 +0100
changeset 12548 9d247ad51c81
parent 12547 46d21c784c07
child 12549 65f03a3f7998
HOL/IMP: include session graph;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Dec 19 00:26:19 2001 +0100
+++ b/src/HOL/IsaMakefile	Wed Dec 19 00:26:39 2001 +0100
@@ -231,7 +231,7 @@
   IMP/Natural.thy IMP/Examples.thy \
   IMP/Transition.thy IMP/VC.thy IMP/ROOT.ML IMP/document/root.tex \
   IMP/document/root.bib
-	@$(ISATOOL) usedir $(OUT)/HOL IMP
+	@$(ISATOOL) usedir -g true $(OUT)/HOL IMP
 
 
 ## HOL-IMPP
isabelle