diff -r 45ca4006a37f -r 61e26527480e NEWS --- 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 ***