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 48732 f04320479ff9
parent 48681 181b91e1d1c1
child 48738 f8c1a5b9488f 
--- a/src/Pure/ROOT	Wed Aug 08 12:33:40 2012 +0200
+++ b/src/Pure/ROOT	Wed Aug 08 12:38:41 2012 +0200
@@ -226,7 +226,6 @@
     "pattern.ML"
     "primitive_defs.ML"
     "proofterm.ML"
-    "pure_setup.ML"
     "pure_thy.ML"
     "raw_simplifier.ML"
     "search.ML"
isabelle