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 28 a9ca91c990ba
parent 18 b4c31af6af26
child 44 dee4b3e66dfe 
--- a/IsaMakefile	Fri Oct 10 17:08:15 2008 +0200
+++ b/IsaMakefile	Fri Oct 10 17:08:40 2008 +0200
@@ -21,7 +21,11 @@
 cookbook: CookBook/ROOT.ML \
           CookBook/document/root.tex \
           CookBook/document/root.bib \
-          CookBook/*.thy
+          CookBook/*.thy \
+          CookBook/*.ML \
+          CookBook/Recipes/*.thy \
+          CookBook/Package/*.thy \
+          CookBook/Package/*.ML
 	$(USEDIR) HOL CookBook
 	$(ISATOOL) document -o pdf  CookBook/generated
 	@cp CookBook/document.pdf cookbook.pdf
isabelle-cookbook