Hoare(Parallel) dependencies on document/*
authornipkow
Mon Apr 10 11:35:02 2006 +0200 (2006-04-10)
changeset 19402742b7934ccfc
parent 19401 259e2bbba43c
child 19403 5c15cd397a82
Hoare(Parallel) dependencies on document/*
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Apr 10 11:34:15 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Apr 10 11:35:02 2006 +0200
     1.3 @@ -339,7 +339,8 @@
     1.4    Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
     1.5    Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
     1.6    Hoare/hoareAbort.ML Hoare/HoareAbort.thy Hoare/SchorrWaite.thy \
     1.7 -  Hoare/Separation.thy Hoare/SepLogHeap.thy
     1.8 +  Hoare/Separation.thy Hoare/SepLogHeap.thy \
     1.9 +  Hoare/document/root.tex Hoare/document/root.bib
    1.10  	@$(ISATOOL) usedir $(OUT)/HOL Hoare
    1.11  
    1.12  
    1.13 @@ -356,7 +357,7 @@
    1.14    HoareParallel/RG_Com.thy HoareParallel/RG_Examples.thy	   \
    1.15    HoareParallel/RG_Hoare.thy HoareParallel/RG_Syntax.thy	   \
    1.16    HoareParallel/RG_Tran.thy HoareParallel/ROOT.ML		   \
    1.17 -  HoareParallel/document/root.tex
    1.18 +  HoareParallel/document/root.tex HoareParallel/document/root.bib
    1.19  	@$(ISATOOL) usedir -g true $(OUT)/HOL HoareParallel
    1.20  
    1.21