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 62848 e4140efe699e
parent 62846 3c576c7f9731
child 62849 caaa2fc4040d 
--- a/src/Pure/ROOT	Mon Apr 04 16:14:22 2016 +0200
+++ b/src/Pure/ROOT	Mon Apr 04 17:02:34 2016 +0200
@@ -61,6 +61,7 @@
     "Isar/attrib.ML"
     "Isar/auto_bind.ML"
     "Isar/bundle.ML"
+    "Isar/calculation.ML"
     "Isar/class.ML"
     "Isar/class_declaration.ML"
     "Isar/code.ML"
@@ -99,6 +100,7 @@
     "ML/exn_properties.ML"
     "ML/fixed_int_dummy.ML"
     "ML/ml_antiquotation.ML"
+    "ML/ml_antiquotations.ML"
     "ML/ml_compiler.ML"
     "ML/ml_compiler0.ML"
     "ML/ml_compiler1.ML"
@@ -112,13 +114,14 @@
     "ML/ml_lex.ML"
     "ML/ml_name_space.ML"
     "ML/ml_options.ML"
+    "ML/ml_pervasive.ML"
     "ML/ml_pp.ML"
-    "ML/ml_pervasive.ML"
     "ML/ml_pretty.ML"
     "ML/ml_profiling.ML"
     "ML/ml_statistics.ML"
     "ML/ml_syntax.ML"
     "ML/ml_system.ML"
+    "ML/ml_thms.ML"
     "PIDE/active.ML"
     "PIDE/command.ML"
     "PIDE/command_span.ML"
@@ -172,9 +175,22 @@
     "Thy/thy_info.ML"
     "Thy/thy_output.ML"
     "Thy/thy_syntax.ML"
+    "Tools/bibtex.ML"
     "Tools/build.ML"
+    "Tools/class_deps.ML"
+    "Tools/debugger.ML"
+    "Tools/find_consts.ML"
+    "Tools/find_theorems.ML"
+    "Tools/jedit.ML"
+    "Tools/named_theorems.ML"
     "Tools/named_thms.ML"
     "Tools/plugin.ML"
+    "Tools/print_operation.ML"
+    "Tools/rail.ML"
+    "Tools/rule_insts.ML"
+    "Tools/simplifier_trace.ML"
+    "Tools/thm_deps.ML"
+    "Tools/thy_deps.ML"
     "assumption.ML"
     "axclass.ML"
     "config.ML"
isabelle