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/ROOT
changeset 50686 d703e3aafa8c
parent 50450 358b6020f8b6
child 50800 c0fb2839d1a9 
--- a/src/Pure/ROOT	Wed Jan 02 16:48:22 2013 +0100
+++ b/src/Pure/ROOT	Wed Jan 02 17:58:53 2013 +0100
@@ -181,7 +181,6 @@
     "Syntax/syntax_phases.ML"
     "Syntax/syntax_trans.ML"
     "Syntax/term_position.ML"
-    "System/build.ML"
     "System/command_line.ML"
     "System/invoke_scala.ML"
     "System/isabelle_process.ML"
@@ -201,6 +200,7 @@
     "Thy/thy_load.ML"
     "Thy/thy_output.ML"
     "Thy/thy_syntax.ML"
+    "Tools/build.ML"
     "Tools/named_thms.ML"
     "Tools/legacy_xml_syntax.ML"
     "assumption.ML"
isabelle