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.
updated dependencies
authorboehmes
Fri, 11 Dec 2009 15:36:05 +0100
changeset 34069 c1fd26512f6d
parent 34068 a78307d72e58
child 34070 fb0a6419869f
updated dependencies
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle