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.
Hoare(Parallel) dependencies on document/*
authornipkow
Mon, 10 Apr 2006 11:35:02 +0200
changeset 19402 742b7934ccfc
parent 19401 259e2bbba43c
child 19403 5c15cd397a82
Hoare(Parallel) dependencies on document/*
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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