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 56208 06cc31dff138
parent 56072 31e427387ab5
child 56210 c7c85cdb725d 
--- a/src/Pure/ROOT	Tue Mar 18 16:45:14 2014 +0100
+++ b/src/Pure/ROOT	Tue Mar 18 17:39:03 2014 +0100
@@ -161,6 +161,7 @@
     "PIDE/markup.ML"
     "PIDE/protocol.ML"
     "PIDE/query_operation.ML"
+    "PIDE/resources.ML"
     "PIDE/xml.ML"
     "PIDE/yxml.ML"
     "Proof/extraction.ML"
@@ -198,7 +199,6 @@
     "Thy/thm_deps.ML"
     "Thy/thy_header.ML"
     "Thy/thy_info.ML"
-    "Thy/thy_load.ML"
     "Thy/thy_output.ML"
     "Thy/thy_syntax.ML"
     "Tools/build.ML"
isabelle