| changeset 76960 | 6c623c517a6e |
| parent 76926 | d858e6f15da3 |
| child 76978 | d60dbb325535 |
--- a/NEWS Fri Jan 13 12:37:09 2023 +0100 +++ b/NEWS Fri Jan 13 13:01:19 2023 +0100 @@ -21,6 +21,9 @@ * Support for interactive document preparation in PIDE, notably via the Isabelle/jEdit Document panel. +* Support for more "cite" antiquotations, notably for \nocite and +natbib's \citet / \citep. + *** HOL ***