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 precise dependencies
authorboehmes
Wed, 20 Jul 2011 13:29:54 +0200
changeset 43931 c92df8144681
parent 43930 cb7914f6e9b3
child 43932 b2218b8265ea
child 43934 2108763f298d
more precise dependencies
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Jul 20 13:27:01 2011 +0200
+++ b/src/HOL/IsaMakefile	Wed Jul 20 13:29:54 2011 +0200
@@ -310,6 +310,7 @@
   Tools/code_evaluation.ML \
   Tools/groebner.ML \
   Tools/int_arith.ML \
+  Tools/lambda_lifting.ML \
   Tools/list_code.ML \
   Tools/list_to_set_comprehension.ML \
   Tools/monomorph.ML \
isabelle