src/Pure/Thy/thy_output.ML
changeset 40879 ca132ef44944
parent 40801 6cfacec435e6
child 42284 326f57825e1a
     1.1 --- a/src/Pure/Thy/thy_output.ML	Thu Dec 02 16:04:22 2010 +0100
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Thu Dec 02 16:52:52 2010 +0100
     1.3 @@ -449,6 +449,7 @@
     1.4  val _ = add_option "show_sorts" (Config.put show_sorts o boolean);
     1.5  val _ = add_option "show_structs" (Config.put show_structs o boolean);
     1.6  val _ = add_option "show_question_marks" (Config.put show_question_marks o boolean);
     1.7 +val _ = add_option "show_abbrevs" (Config.put show_abbrevs o boolean);
     1.8  val _ = add_option "long_names" (add_wrapper o setmp_CRITICAL Name_Space.long_names o boolean);
     1.9  val _ = add_option "short_names" (add_wrapper o setmp_CRITICAL Name_Space.short_names o boolean);
    1.10  val _ = add_option "unique_names" (add_wrapper o setmp_CRITICAL Name_Space.unique_names o boolean);