Mercurial Mercurial > hg > isabelle-cookbook / 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.
Added chapter about writing packages.
authorberghofe
Fri, 10 Oct 2008 17:08:40 +0200
changeset 28 a9ca91c990ba
parent 27 104af757fbf0
child 29 3e117bbf8316
Added chapter about writing packages.
IsaMakefile file | annotate | diff | comparison | revisions 
--- 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