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/HOL/ROOT
changeset 70796 2739631ac368
parent 70781 a37e2ea96c6d
child 70853 c92ae7b0f3f1 
--- a/src/HOL/ROOT	Mon Oct 07 10:51:20 2019 +0200
+++ b/src/HOL/ROOT	Mon Oct 07 11:35:43 2019 +0200
@@ -6,9 +6,8 @@
   "
   options [strict_facts]
   directories "../Tools"
-  theories [dump_checkpoint]
+  theories
     Main (global)
-  theories
     Complex_Main (global)
   document_files
     "root.bib"
isabelle