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 52530 99dd8b4ef3fe
parent 52211 66bc827e37f8
child 52584 5cad4a5f5615 
--- a/src/Pure/ROOT	Fri Jul 05 14:09:06 2013 +0200
+++ b/src/Pure/ROOT	Fri Jul 05 15:38:03 2013 +0200
@@ -152,6 +152,7 @@
     "PIDE/active.ML"
     "PIDE/command.ML"
     "PIDE/document.ML"
+    "PIDE/document_id.ML"
     "PIDE/markup.ML"
     "PIDE/protocol.ML"
     "PIDE/xml.ML"
isabelle