changeset 39137 | ccb53edd59f0 |
parent 39134 | 917b4b6ba3d2 |
child 39138 | 53886463f559 |
--- a/src/Pure/ProofGeneral/preferences.ML Sun Sep 05 22:23:48 2010 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Sun Sep 05 23:16:21 2010 +0200 @@ -123,7 +123,7 @@ bool_pref long_names "long-names" "Show fully qualified names in Isabelle terms", - bool_pref show_brackets + bool_pref show_brackets_default "show-brackets" "Show full bracketing in Isabelle terms", bool_pref Goal_Display.show_main_goal_default