updated dependencies
authorboehmes
Fri Dec 11 15:36:05 2009 +0100 (2009-12-11)
changeset 34069c1fd26512f6d
parent 34068 a78307d72e58
child 34070 fb0a6419869f
updated dependencies
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Fri Dec 11 15:35:29 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Dec 11 15:36:05 2009 +0100
     1.3 @@ -1389,7 +1389,7 @@
     1.4  
     1.5  $(OUT)/HOL-Boogie: $(OUT)/HOL-SMT Boogie/ROOT.ML Boogie/Boogie.thy	\
     1.6    Boogie/Tools/boogie_vcs.ML Boogie/Tools/boogie_loader.ML		\
     1.7 -  Boogie/Tools/boogie_commands.ML Boogie/Tools/boogie_split.ML
     1.8 +  Boogie/Tools/boogie_commands.ML Boogie/Tools/boogie_tactics.ML
     1.9  	@cd Boogie; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-SMT HOL-Boogie
    1.10  
    1.11  
    1.12 @@ -1406,7 +1406,8 @@
    1.13    Boogie/Examples/cert/Boogie_Dijkstra					\
    1.14    Boogie/Examples/cert/Boogie_Dijkstra.proof				\
    1.15    Boogie/Examples/cert/VCC_maximum					\
    1.16 -  Boogie/Examples/cert/VCC_maximum.proof
    1.17 +  Boogie/Examples/cert/VCC_maximum.proof				\
    1.18 +  Boogie/Examples/Boogie_Max_Stepwise.thy
    1.19  	@cd Boogie; $(ISABELLE_TOOL) usedir $(OUT)/HOL-Boogie Examples
    1.20  
    1.21