changeset 39050 | 600de0485859 |
parent 38980 | af73cf0dc31f |
child 39125 | f45d332a90e3 |
--- a/src/Pure/ProofGeneral/preferences.ML Fri Sep 03 10:58:11 2010 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Fri Sep 03 11:21:58 2010 +0200 @@ -117,7 +117,7 @@ bool_pref show_sorts "show-sorts" "Include sorts in display of Isabelle terms", - bool_pref show_consts + bool_pref show_consts_default "show-consts" "Show types of consts in Isabelle goal display", bool_pref long_names