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 52865 02a7e7180ee5
parent 52836 1a03ffc00a4a
child 52926 6415d95bf7a2 
--- a/src/Pure/ROOT	Mon Aug 05 16:12:03 2013 +0200
+++ b/src/Pure/ROOT	Mon Aug 05 17:14:02 2013 +0200
@@ -158,6 +158,7 @@
     "PIDE/execution.ML"
     "PIDE/markup.ML"
     "PIDE/protocol.ML"
+    "PIDE/query_operation.ML"
     "PIDE/xml.ML"
     "PIDE/yxml.ML"
     "Proof/extraction.ML"
isabelle