98 @{attribute_def show_types} & : & @{text attribute} & default @{text false} \\ |
98 @{attribute_def show_types} & : & @{text attribute} & default @{text false} \\ |
99 @{attribute_def show_sorts} & : & @{text attribute} & default @{text false} \\ |
99 @{attribute_def show_sorts} & : & @{text attribute} & default @{text false} \\ |
100 @{attribute_def show_consts} & : & @{text attribute} & default @{text false} \\ |
100 @{attribute_def show_consts} & : & @{text attribute} & default @{text false} \\ |
101 @{attribute_def show_abbrevs} & : & @{text attribute} & default @{text true} \\ |
101 @{attribute_def show_abbrevs} & : & @{text attribute} & default @{text true} \\ |
102 @{attribute_def show_brackets} & : & @{text attribute} & default @{text false} \\ |
102 @{attribute_def show_brackets} & : & @{text attribute} & default @{text false} \\ |
103 @{attribute_def long_names} & : & @{text attribute} & default @{text false} \\ |
103 @{attribute_def names_long} & : & @{text attribute} & default @{text false} \\ |
104 @{attribute_def short_names} & : & @{text attribute} & default @{text false} \\ |
104 @{attribute_def names_short} & : & @{text attribute} & default @{text false} \\ |
105 @{attribute_def unique_names} & : & @{text attribute} & default @{text true} \\ |
105 @{attribute_def names_unique} & : & @{text attribute} & default @{text true} \\ |
106 @{attribute_def eta_contract} & : & @{text attribute} & default @{text true} \\ |
106 @{attribute_def eta_contract} & : & @{text attribute} & default @{text true} \\ |
107 @{attribute_def goals_limit} & : & @{text attribute} & default @{text 10} \\ |
107 @{attribute_def goals_limit} & : & @{text attribute} & default @{text 10} \\ |
108 @{attribute_def show_main_goal} & : & @{text attribute} & default @{text false} \\ |
108 @{attribute_def show_main_goal} & : & @{text attribute} & default @{text false} \\ |
109 @{attribute_def show_hyps} & : & @{text attribute} & default @{text false} \\ |
109 @{attribute_def show_hyps} & : & @{text attribute} & default @{text false} \\ |
110 @{attribute_def show_tags} & : & @{text attribute} & default @{text false} \\ |
110 @{attribute_def show_tags} & : & @{text attribute} & default @{text false} \\ |
142 printing tree will be parenthesized, even if this produces malformed |
142 printing tree will be parenthesized, even if this produces malformed |
143 term syntax! This crude way of showing the internal structure of |
143 term syntax! This crude way of showing the internal structure of |
144 pretty printed entities may occasionally help to diagnose problems |
144 pretty printed entities may occasionally help to diagnose problems |
145 with operator priorities, for example. |
145 with operator priorities, for example. |
146 |
146 |
147 \item @{attribute long_names}, @{attribute short_names}, and |
147 \item @{attribute names_long}, @{attribute names_short}, and |
148 @{attribute unique_names} control the way of printing fully |
148 @{attribute names_unique} control the way of printing fully |
149 qualified internal names in external form. See also |
149 qualified internal names in external form. See also |
150 \secref{sec:antiq} for the document antiquotation options of the |
150 \secref{sec:antiq} for the document antiquotation options of the |
151 same names. |
151 same names. |
152 |
152 |
153 \item @{attribute eta_contract} controls @{text "\<eta>"}-contracted |
153 \item @{attribute eta_contract} controls @{text "\<eta>"}-contracted |