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/ZF/ROOT
changeset 70634 0f8742b5a9e8
parent 69319 baccaf89ca0d
child 70656 774cc139b1f4 
--- a/src/ZF/ROOT	Thu Aug 29 15:43:05 2019 +0200
+++ b/src/ZF/ROOT	Thu Aug 29 17:13:49 2019 +0200
@@ -46,6 +46,7 @@
     FOL
   theories
     ZF (global)
+  theories [dump_checkpoint]
     ZFC (global)
   document_files "root.tex"
isabelle