equal
deleted
inserted
replaced
38 -- "indicate if the output should be enclosed in double quotes" |
38 -- "indicate if the output should be enclosed in double quotes" |
39 option thy_output_indent : int = 0 |
39 option thy_output_indent : int = 0 |
40 -- "indentation for pretty printing of display material" |
40 -- "indentation for pretty printing of display material" |
41 option thy_output_source : bool = false |
41 option thy_output_source : bool = false |
42 -- "print original source text rather than internal representation" |
42 -- "print original source text rather than internal representation" |
43 |
43 option thy_output_modes : string = "" |
|
44 -- "additional print modes for document output (separated by commas)" |
44 |
45 |
45 option print_mode : string = "" |
46 option print_mode : string = "" |
46 -- "additional print modes for prover output (separated by commas)" |
47 -- "additional print modes for prover output (separated by commas)" |
47 |
48 |
48 |
49 |