| changeset 70121 | 61e26527480e |
| parent 70106 | 55220f2d09d2 |
| child 70122 | a0b21b4b7a4a |
--- a/NEWS Thu Apr 11 14:22:52 2019 +0200 +++ b/NEWS Thu Apr 11 15:44:06 2019 +0200 @@ -126,6 +126,10 @@ multiple markers are composed in canonical order, resulting in a reversed list of tags in the presentation context. +* Document antiquotation option "cartouche" indicates if the output +should be delimited as cartouche; this takes precedence over the +analogous option "quotes". + *** Isar ***