equal
deleted
inserted
replaced
67 * Named control symbols (without special Unicode rendering) are shown as |
67 * Named control symbols (without special Unicode rendering) are shown as |
68 bold-italic keyword. This is particularly useful for the short form of |
68 bold-italic keyword. This is particularly useful for the short form of |
69 antiquotations with control symbol: \<^name>\<open>argument\<close>. The action |
69 antiquotations with control symbol: \<^name>\<open>argument\<close>. The action |
70 "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1 |
70 "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1 |
71 arguments into this format. |
71 arguments into this format. |
|
72 |
|
73 * Action "isabelle.preview" presents auxiliary text files as well. |
|
74 |
72 |
75 |
73 |
76 |
74 *** Document preparation *** |
77 *** Document preparation *** |
75 |
78 |
76 * System option "document_tags" specifies a default for otherwise |
79 * System option "document_tags" specifies a default for otherwise |