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/Doc/ROOT
changeset 52412 4cfa094da3cb
parent 52410 fb1fb867c146
child 52414 8429123bc58a 
--- a/src/Doc/ROOT	Mon Jun 17 20:15:34 2013 +0200
+++ b/src/Doc/ROOT	Mon Jun 17 21:23:49 2013 +0200
@@ -258,7 +258,6 @@
     "document/build"
     "document/root.tex"
     "document/syntax.tex"
-    "document/thm.tex"
 
 session Sledgehammer (doc) in "Sledgehammer" = Pure +
   options [document_variants = "sledgehammer"]
isabelle