--- a/etc/options Mon Jul 22 14:47:21 2019 +0200
+++ b/etc/options Mon Jul 22 16:15:40 2019 +0200
@@ -277,8 +277,16 @@
section "Theory Export"
option export_document : bool = false
+ -- "export document sources to Isabelle/Scala"
option export_theory : bool = false
+ -- "export theory content to Isabelle/Scala"
+
+option export_proofs : bool = false
+ -- "export proof terms to Isabelle/Scala"
+
+option prune_proofs : bool = false
+ -- "prune proof terms after export (do not store in Isabelle/ML)"
section "Theory update"