Mercurial Mercurial > repos > isabelle / 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.
src/HOL/IsaMakefile
changeset 19402 742b7934ccfc
parent 19234 054332e39e0a
child 19404 9bf2cdc9e8e8 
--- a/src/HOL/IsaMakefile	Mon Apr 10 11:34:15 2006 +0200
+++ b/src/HOL/IsaMakefile	Mon Apr 10 11:35:02 2006 +0200
@@ -339,7 +339,8 @@
   Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
   Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
   Hoare/hoareAbort.ML Hoare/HoareAbort.thy Hoare/SchorrWaite.thy \
-  Hoare/Separation.thy Hoare/SepLogHeap.thy
+  Hoare/Separation.thy Hoare/SepLogHeap.thy \
+  Hoare/document/root.tex Hoare/document/root.bib
 	@$(ISATOOL) usedir $(OUT)/HOL Hoare
 
 
@@ -356,7 +357,7 @@
   HoareParallel/RG_Com.thy HoareParallel/RG_Examples.thy	   \
   HoareParallel/RG_Hoare.thy HoareParallel/RG_Syntax.thy	   \
   HoareParallel/RG_Tran.thy HoareParallel/ROOT.ML		   \
-  HoareParallel/document/root.tex
+  HoareParallel/document/root.tex HoareParallel/document/root.bib
 	@$(ISATOOL) usedir -g true $(OUT)/HOL HoareParallel
isabelle