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 IsaMakefiles for new location of IsaPlanner.
authordixon
Sun, 11 Jun 2006 00:42:22 +0200
changeset 19839 1704c66e5e7e
parent 19838 edc3d1af3b77
child 19840 600c35fd1b5e
updated IsaMakefiles for new location of IsaPlanner.
src/FOL/IsaMakefile file | annotate | diff | comparison | revisions
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/FOL/IsaMakefile	Sun Jun 11 00:39:31 2006 +0200
+++ b/src/FOL/IsaMakefile	Sun Jun 11 00:42:22 2006 +0200
@@ -30,6 +30,10 @@
 
 $(OUT)/FOL$(ML_SUFFIX): $(OUT)/Pure$(ML_SUFFIX) $(SRC)/Provers/blast.ML	\
   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML			\
+  $(SRC)/Provers/IsaPlanner/zipper.ML \
+  $(SRC)/Provers/IsaPlanner/isand.ML \
+  $(SRC)/Provers/IsaPlanner/rw_tools.ML	\
+  $(SRC)/Provers/IsaPlanner/rw_inst.ML \
   $(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML			\
   $(SRC)/Provers/ind.ML $(SRC)/Provers/induct_method.ML			\
   $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML		\
--- a/src/HOL/IsaMakefile	Sun Jun 11 00:39:31 2006 +0200
+++ b/src/HOL/IsaMakefile	Sun Jun 11 00:42:22 2006 +0200
@@ -72,6 +72,10 @@
   $(SRC)/Provers/Arith/extract_common_term.ML					\
   $(SRC)/Provers/Arith/fast_lin_arith.ML $(SRC)/Provers/blast.ML		\
   $(SRC)/Provers/clasimp.ML $(SRC)/Provers/classical.ML				\
+  $(SRC)/Provers/IsaPlanner/zipper.ML \
+  $(SRC)/Provers/IsaPlanner/isand.ML \
+  $(SRC)/Provers/IsaPlanner/rw_tools.ML	\
+  $(SRC)/Provers/IsaPlanner/rw_inst.ML \
   $(SRC)/Provers/eqsubst.ML $(SRC)/Provers/hypsubst.ML				\
   $(SRC)/Provers/induct_method.ML $(SRC)/Provers/order.ML			\
   $(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML			\
isabelle