| changeset 16069 | 3f2a9f400168 |
| parent 13977 | eb5fe146a4e0 |
| child 16543 | 4dd8b4d1cfc3 |
--- a/doc-src/TutorialI/IsaMakefile Wed May 25 09:03:53 2005 +0200 +++ b/doc-src/TutorialI/IsaMakefile Wed May 25 09:04:24 2005 +0200 @@ -17,7 +17,7 @@ SRC = $(ISABELLE_HOME)/src OUT = $(ISABELLE_OUTPUT) LOG = $(OUT)/log -OPTIONS = -m brackets -i true -d "" -D document +OPTIONS = -H false -m brackets -i true -d "" -D document USEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL REALUSEDIR = @$(ISATOOL) usedir $(OPTIONS) $(OUT)/HOL-Complex