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 70914 05c4c6a99b3f
parent 70906 b9567a9f44a0
child 70917 693e811b91bb 
--- a/src/Pure/ROOT	Sun Oct 20 12:56:36 2019 +0200
+++ b/src/Pure/ROOT	Sun Oct 20 16:16:23 2019 +0200
@@ -4,7 +4,7 @@
   description "
     The Pure logical framework.
   "
-  options [threads = 1, export_proofs]
+  options [threads = 1, export_proofs, export_standard_proofs]
   theories [export_theory]
     Pure (global)
   theories
isabelle