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 62355 00f7618a9f2b
parent 62354 fdd6989cc8a0
child 62359 6709e51d5c11 
--- a/src/Pure/ROOT	Wed Feb 17 23:06:24 2016 +0100
+++ b/src/Pure/ROOT	Wed Feb 17 23:15:47 2016 +0100
@@ -163,11 +163,11 @@
     "Isar/token.ML"
     "Isar/toplevel.ML"
     "Isar/typedecl.ML"
-    "ML/exn_output_polyml.ML"
-    "ML/exn_properties_polyml.ML"
+    "ML/exn_output.ML"
+    "ML/exn_properties.ML"
     "ML/install_pp_polyml.ML"
     "ML/ml_antiquotation.ML"
-    "ML/ml_compiler_polyml.ML"
+    "ML/ml_compiler.ML"
     "ML/ml_context.ML"
     "ML/ml_env.ML"
     "ML/ml_file.ML"
isabelle