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 58009 987c848d509b
parent 57934 5e500c0e7eca
child 58470 890d8286fd4e 
--- a/src/Pure/ROOT	Tue Aug 19 17:00:44 2014 +0200
+++ b/src/Pure/ROOT	Tue Aug 19 18:11:04 2014 +0200
@@ -233,6 +233,7 @@
     "morphism.ML"
     "name.ML"
     "net.ML"
+    "par_tactical.ML"
     "pattern.ML"
     "primitive_defs.ML"
     "proofterm.ML"
isabelle