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/HOL/IsaMakefile
changeset 28592 824f8390aaa2
parent 28500 4b79e5d3d0aa
child 28612 a024b0cef522 
--- a/src/HOL/IsaMakefile	Tue Oct 14 15:45:46 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Oct 14 16:01:36 2008 +0200
@@ -217,7 +217,7 @@
   Tools/Groebner_Basis/normalizer_data.ML \
   Tools/Groebner_Basis/normalizer.ML \
   Tools/atp_manager.ML \
-  Tools/atp_thread.ML \
+  Tools/atp_wrapper.ML \
   Tools/meson.ML \
   Tools/metis_tools.ML \
   Tools/numeral.ML \
isabelle