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 70917 693e811b91bb
parent 70914 05c4c6a99b3f
child 71924 e5df9c8d9d4b 
--- a/src/Pure/ROOT	Sun Oct 20 21:12:18 2019 +0200
+++ b/src/Pure/ROOT	Sun Oct 20 21:34:29 2019 +0200
@@ -4,7 +4,7 @@
   description "
     The Pure logical framework.
   "
-  options [threads = 1, export_proofs, export_standard_proofs]
+  options [threads = 1, export_proofs, export_standard_proofs, prune_proofs = false]
   theories [export_theory]
     Pure (global)
   theories
isabelle