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 Makefile
authorkrauss
Fri, 16 Feb 2007 09:04:23 +0100
changeset 22327 8a36a3ca8558
parent 22326 a3acee47a883
child 22328 cc403d881873
updated Makefile
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Feb 15 18:18:21 2007 +0100
+++ b/src/HOL/IsaMakefile	Fri Feb 16 09:04:23 2007 +0100
@@ -113,7 +113,7 @@
   Tools/function_package/mutual.ML						\
   Tools/function_package/pattern_split.ML					\
   Tools/function_package/sum_tools.ML						\
-  Tools/function_package/termination.ML Tools/inductive_codegen.ML		\
+  Tools/inductive_codegen.ML		\
   Tools/inductive_package.ML Tools/inductive_realizer.ML Tools/meson.ML		\
   Tools/numeral_syntax.ML Tools/old_inductive_package.ML			\
   Tools/polyhash.ML Tools/primrec_package.ML Tools/prop_logic.ML		\
isabelle