# HG changeset patch
# User wenzelm
# Date 1008717999 -3600
# Node ID 9d247ad51c813ecfb4b321edbfa64fc9620ba8f7
# Parent  46d21c784c07554a8016b642958a2afa8de4a7c8
HOL/IMP: include session graph;

diff -r 46d21c784c07 -r 9d247ad51c81 src/HOL/IsaMakefile
--- 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