equal
deleted
inserted
replaced
109 val set = print_depth o PgipTypes.read_pgipnat; |
109 val set = print_depth o PgipTypes.read_pgipnat; |
110 in mkpref get set PgipTypes.Pgipnat "print-depth" "Setting for the ML print depth" end; |
110 in mkpref get set PgipTypes.Pgipnat "print-depth" "Setting for the ML print depth" end; |
111 |
111 |
112 |
112 |
113 val display_preferences = |
113 val display_preferences = |
114 [bool_pref show_types |
114 [bool_pref show_types_default |
115 "show-types" |
115 "show-types" |
116 "Include types in display of Isabelle terms", |
116 "Include types in display of Isabelle terms", |
117 bool_pref show_sorts |
117 bool_pref show_sorts_default |
118 "show-sorts" |
118 "show-sorts" |
119 "Include sorts in display of Isabelle terms", |
119 "Include sorts in display of Isabelle terms", |
120 bool_pref show_consts_default |
120 bool_pref show_consts_default |
121 "show-consts" |
121 "show-consts" |
122 "Show types of consts in Isabelle goal display", |
122 "Show types of consts in Isabelle goal display", |