# HG changeset patch
# User berghofe
# Date 1048582991 -3600
# Node ID 5affbaee6b1803f5b4baf18ac0814b7abfe01b08
# Parent  0451e0fb3f220911b9030d51973a5b6d089c6941
Added show_brackets to settings menu.

diff -r 0451e0fb3f22 -r 5affbaee6b18 src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Tue Mar 25 09:58:51 2003 +0100
+++ b/src/Pure/proof_general.ML	Tue Mar 25 10:03:11 2003 +0100
@@ -285,6 +285,8 @@
       bool_option show_consts)),
    ("long-names", ("Whether to show fully qualified names in Isabelle.",
       bool_option long_names)),
+   ("show-brackets", ("Whether to show full bracketing in Isabelle.",
+      bool_option show_brackets)),
    ("eta-contract", ("Whether to print terms eta-contracted in Isabelle.",
       bool_option Syntax.eta_contract)),
    ("trace-simplifier", ("Whether to trace the Simplifier in Isabelle.",