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 59714 ae322325adbb
parent 59470 31d810570879
child 59901 840d03805755 
--- a/src/Pure/ROOT	Mon Mar 16 11:07:56 2015 +0100
+++ b/src/Pure/ROOT	Mon Mar 16 11:30:54 2015 +0100
@@ -172,6 +172,7 @@
     "PIDE/execution.ML"
     "PIDE/markup.ML"
     "PIDE/protocol.ML"
+    "PIDE/protocol_message.ML"
     "PIDE/query_operation.ML"
     "PIDE/resources.ML"
     "PIDE/session.ML"
isabelle