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 52605 a2a805549c74
parent 52596 40298d383463
child 52711 155f02cacb2d 
--- a/src/Pure/ROOT	Thu Jul 11 23:24:40 2013 +0200
+++ b/src/Pure/ROOT	Fri Jul 12 11:07:02 2013 +0200
@@ -150,10 +150,10 @@
     "ML/ml_syntax.ML"
     "ML/ml_thms.ML"
     "PIDE/active.ML"
-    "PIDE/exec.ML"
     "PIDE/command.ML"
     "PIDE/document.ML"
     "PIDE/document_id.ML"
+    "PIDE/execution.ML"
     "PIDE/markup.ML"
     "PIDE/protocol.ML"
     "PIDE/xml.ML"
isabelle