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.
more accurate dependencies
authorhaftmann
Wed, 15 Sep 2010 15:35:01 +0200
changeset 39402 24d70f4e690d
parent 39401 887f4218a39a
child 39403 aad9f3cfa1d9
more accurate dependencies
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Sep 15 15:31:32 2010 +0200
+++ b/src/HOL/IsaMakefile	Wed Sep 15 15:35:01 2010 +0200
@@ -106,12 +106,12 @@
   $(SRC)/Provers/quantifier1.ML \
   $(SRC)/Provers/splitter.ML \
   $(SRC)/Tools/cache_io.ML \
-  $(SRC)/Tools/Code/code_eval.ML \
   $(SRC)/Tools/Code/code_haskell.ML \
   $(SRC)/Tools/Code/code_ml.ML \
   $(SRC)/Tools/Code/code_namespace.ML \
   $(SRC)/Tools/Code/code_preproc.ML \
   $(SRC)/Tools/Code/code_printer.ML \
+  $(SRC)/Tools/Code/code_runtime.ML \
   $(SRC)/Tools/Code/code_scala.ML \
   $(SRC)/Tools/Code/code_simp.ML \
   $(SRC)/Tools/Code/code_target.ML \
isabelle