Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 29858 c8cee17d7e50
parent 29576 669b560fc2b9
child 29882 29154e67731d 
--- a/src/Pure/IsaMakefile	Wed Feb 11 14:48:14 2009 +1100
+++ b/src/Pure/IsaMakefile	Wed Feb 11 16:03:10 2009 +1100
@@ -85,7 +85,7 @@
   pure_setup.ML pure_thy.ML search.ML sign.ML simplifier.ML sorts.ML	\
   subgoal.ML tactic.ML tctical.ML term.ML term_ord.ML term_subst.ML	\
   theory.ML thm.ML type.ML type_infer.ML unify.ML variable.ML		\
-  ../Tools/quickcheck.ML
+  ../Tools/quickcheck.ML ../Tools/auto_solve.ML
 	@./mk
isabelle