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 61268 abe08fb15a12
parent 60993 531a48ae1425
child 61441 20ff1d5c74e1 
--- a/src/Pure/ROOT	Fri Sep 25 20:04:25 2015 +0200
+++ b/src/Pure/ROOT	Fri Sep 25 20:37:59 2015 +0200
@@ -247,7 +247,6 @@
     "context_position.ML"
     "conv.ML"
     "defs.ML"
-    "display.ML"
     "drule.ML"
     "envir.ML"
     "facts.ML"
isabelle