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.
-D generated;
authorwenzelm
Mon, 22 Oct 2001 17:56:16 +0200
changeset 11878 f5b7c69a5a57
parent 11877 0f5ffa1497db
child 11879 1a386a1e002c
-D generated;
lib/Tools/mkdir file | annotate | diff | comparison | revisions 
--- a/lib/Tools/mkdir	Mon Oct 22 14:58:05 2001 +0200
+++ b/lib/Tools/mkdir	Mon Oct 22 17:56:16 2001 +0200
@@ -138,7 +138,7 @@
     echo "OUT = \$(ISABELLE_OUTPUT)"
     echo "LOG = \$(OUT)/log"
     echo
-    echo "USEDIR = \$(ISATOOL) usedir ${VERBOSE}-i true -d dvi  ## -D document"
+    echo "USEDIR = \$(ISATOOL) usedir ${VERBOSE}-i true -d dvi  ## -D generated"
     echo
     echo
     echo "## $NAME"
isabelle