# HG changeset patch # User boehmes # Date 1260542165 -3600 # Node ID c1fd26512f6d1c91a6c0821491946a1edb528045 # Parent a78307d72e58da3779841eb082eee0f690588940 updated dependencies diff -r a78307d72e58 -r c1fd26512f6d src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Fri Dec 11 15:35:29 2009 +0100 +++ b/src/HOL/IsaMakefile Fri Dec 11 15:36:05 2009 +0100 @@ -1389,7 +1389,7 @@ $(OUT)/HOL-Boogie: $(OUT)/HOL-SMT Boogie/ROOT.ML Boogie/Boogie.thy \ Boogie/Tools/boogie_vcs.ML Boogie/Tools/boogie_loader.ML \ - Boogie/Tools/boogie_commands.ML Boogie/Tools/boogie_split.ML + Boogie/Tools/boogie_commands.ML Boogie/Tools/boogie_tactics.ML @cd Boogie; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-SMT HOL-Boogie @@ -1406,7 +1406,8 @@ Boogie/Examples/cert/Boogie_Dijkstra \ Boogie/Examples/cert/Boogie_Dijkstra.proof \ Boogie/Examples/cert/VCC_maximum \ - Boogie/Examples/cert/VCC_maximum.proof + Boogie/Examples/cert/VCC_maximum.proof \ + Boogie/Examples/Boogie_Max_Stepwise.thy @cd Boogie; $(ISABELLE_TOOL) usedir $(OUT)/HOL-Boogie Examples