changeset 70914 | 05c4c6a99b3f |
parent 70801 | 5352449209b1 |
child 70967 | 79736ffe77c3 |
--- a/etc/options Sun Oct 20 12:56:36 2019 +0200 +++ b/etc/options Sun Oct 20 16:16:23 2019 +0200 @@ -291,6 +291,9 @@ option export_theory : bool = false -- "export theory content to Isabelle/Scala" +option export_standard_proofs : bool = false + -- "export standardized proof terms to Isabelle/Scala (not scalable)" + option export_proofs : bool = false -- "export proof terms to Isabelle/Scala"