Mercurial Mercurial > hg > isabelle-cookbook / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IsaMakefile
changeset 153 c22b507e1407
parent 106 bdd82350cf22
child 189 069d525f8f1d 
--- a/IsaMakefile	Fri Feb 27 15:59:38 2009 +0000
+++ b/IsaMakefile	Sat Feb 28 14:18:02 2009 +0000
@@ -19,8 +19,6 @@
 	rail CookBook/generated/root
 	cp CookBook/generated/root.rao CookBook/document
 
-## CookBook
-
 tutorial: CookBook/ROOT.ML \
           CookBook/document/root.tex \
           CookBook/document/root.bib \
@@ -28,8 +26,9 @@
           CookBook/*.ML \
           CookBook/Recipes/*.thy \
           CookBook/Package/*.thy \
-          CookBook/Package/*.ML
+          CookBook/Package/*.ML 
 	$(USEDIR) HOL CookBook
+	$(ISATOOL) version > CookBook/generated/version 
 	$(ISATOOL) document -o pdf  CookBook/generated
 	@cp CookBook/document.pdf cookbook.pdf
isabelle-cookbook