changeset 52042 | aae07a3ff536 |
parent 51962 | 016cb7d8f297 |
child 52043 | 286629271d65 |
--- a/etc/options Thu May 16 20:50:01 2013 +0200 +++ b/etc/options Thu May 16 21:09:58 2013 +0200 @@ -40,7 +40,8 @@ -- "indentation for pretty printing of display material" option thy_output_source : bool = false -- "print original source text rather than internal representation" - +option thy_output_modes : string = "" + -- "additional print modes for document output (separated by commas)" option print_mode : string = "" -- "additional print modes for prover output (separated by commas)"