equal
deleted
inserted
replaced
295 -- "repository version for phabricator" |
295 -- "repository version for phabricator" |
296 |
296 |
297 |
297 |
298 section "Theory Export" |
298 section "Theory Export" |
299 |
299 |
300 option export_document : bool = false |
|
301 -- "export document sources to Isabelle/Scala" |
|
302 |
|
303 option export_theory : bool = false |
300 option export_theory : bool = false |
304 -- "export theory content to Isabelle/Scala" |
301 -- "export theory content to Isabelle/Scala" |
305 |
302 |
306 option export_standard_proofs : bool = false |
303 option export_standard_proofs : bool = false |
307 -- "export standardized proof terms to Isabelle/Scala (not scalable)" |
304 -- "export standardized proof terms to Isabelle/Scala (not scalable)" |