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.
moved file in makefile to reflect actual dependencies
authorblanchet
Thu, 04 Nov 2010 09:53:23 +0100
changeset 40345 129d31b162f3
parent 40344 df25b51af013
child 40355 852d6ed1b5c6
moved file in makefile to reflect actual dependencies
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Nov 03 23:01:30 2010 +0100
+++ b/src/HOL/IsaMakefile	Thu Nov 04 09:53:23 2010 +0100
@@ -172,6 +172,7 @@
   Sum_Type.thy \
   Tools/abel_cancel.ML \
   Tools/arith_data.ML \
+  Tools/async_manager.ML \
   Tools/cnf_funcs.ML \
   Tools/Datatype/datatype_abs_proofs.ML \
   Tools/Datatype/datatype_aux.ML \
@@ -277,7 +278,6 @@
   $(SRC)/Provers/Arith/cancel_numerals.ML \
   $(SRC)/Provers/Arith/combine_numerals.ML \
   $(SRC)/Provers/Arith/extract_common_term.ML \
-  Tools/async_manager.ML \
   Tools/ATP/atp_problem.ML \
   Tools/ATP/atp_proof.ML \
   Tools/ATP/atp_systems.ML \
isabelle