--- a/etc/options Mon Dec 22 15:50:16 2014 +0100
+++ b/etc/options Mon Dec 22 16:44:24 2014 +0100
@@ -20,6 +20,8 @@
-- "control line breaks in non-display material"
option thy_output_quotes : bool = false
-- "indicate if the output should be enclosed in double quotes"
+option thy_output_margin : int = 76
+ -- "right margin / page width for printing of display material"
option thy_output_indent : int = 0
-- "indentation for pretty printing of display material"
option thy_output_source : bool = false
@@ -56,9 +58,6 @@
option eta_contract : bool = true
-- "print terms in eta-contracted form"
-option pretty_margin : int = 76
- -- "right margin / page width of pretty printer in Isabelle/ML"
-
option print_mode : string = ""
-- "additional print modes for prover output (separated by commas)"