equal
deleted
inserted
replaced
149 |
149 |
150 * Outside of the inner theory body, the default presentation context is |
150 * Outside of the inner theory body, the default presentation context is |
151 theory Pure. Thus elementary antiquotations may be used in markup |
151 theory Pure. Thus elementary antiquotations may be used in markup |
152 commands (e.g. 'chapter', 'section', 'text') and formal comments. |
152 commands (e.g. 'chapter', 'section', 'text') and formal comments. |
153 |
153 |
154 * System option "document_tags" specifies a default for otherwise |
154 * System option "document_tags" specifies alternative command tags. This |
155 untagged commands. This is occasionally useful to control the global |
155 is occasionally useful to control the global visibility of commands via |
156 visibility of commands via session options (e.g. in ROOT). |
156 session options (e.g. in ROOT). |
157 |
157 |
158 * Document markup commands ('section', 'text' etc.) are implicitly |
158 * Document markup commands ('section', 'text' etc.) are implicitly |
159 tagged as "document" and visible by default. This avoids the application |
159 tagged as "document" and visible by default. This avoids the application |
160 of option "document_tags" to these commands. |
160 of option "document_tags" to these commands. |
161 |
161 |