src/Pure/ProofGeneral/preferences.ML
changeset 51949 f6858bb224c9
parent 51946 449fbf64f4a5
child 51960 61ac1efe02c3
     1.1 --- a/src/Pure/ProofGeneral/preferences.ML	Sun May 12 19:56:30 2013 +0200
     1.2 +++ b/src/Pure/ProofGeneral/preferences.ML	Sun May 12 20:25:45 2013 +0200
     1.3 @@ -145,7 +145,7 @@
     1.4    bool_pref Goal_Display.show_consts_default
     1.5      "show-consts"
     1.6      "Show types of consts in Isabelle goal display",
     1.7 -  bool_pref Name_Space.names_long_default
     1.8 +  options_pref "names_long"
     1.9      "long-names"
    1.10      "Show fully qualified names in Isabelle terms",
    1.11    bool_pref Printer.show_brackets_default
    1.12 @@ -163,7 +163,7 @@
    1.13      "goals-limit"
    1.14      "Setting for maximum number of goals printed",
    1.15    print_depth_pref,
    1.16 -  bool_pref Printer.show_question_marks_default
    1.17 +  options_pref "show_question_marks"
    1.18      "show-question-marks"
    1.19      "Show leading question mark of variable name"];
    1.20