equal
deleted
inserted
replaced
26 -- "right margin / page width for printing of display material" |
26 -- "right margin / page width for printing of display material" |
27 option thy_output_indent : int = 0 |
27 option thy_output_indent : int = 0 |
28 -- "indentation for pretty printing of display material" |
28 -- "indentation for pretty printing of display material" |
29 option thy_output_source : bool = false |
29 option thy_output_source : bool = false |
30 -- "print original source text rather than internal representation" |
30 -- "print original source text rather than internal representation" |
|
31 option thy_output_source_cartouche : bool = false |
|
32 -- "print original source text rather than internal representation, preserve cartouches" |
31 option thy_output_modes : string = "" |
33 option thy_output_modes : string = "" |
32 -- "additional print modes for document output (separated by commas)" |
34 -- "additional print modes for document output (separated by commas)" |
33 |
35 |
34 |
36 |
35 section "Prover Output" |
37 section "Prover Output" |