changeset 76735 | e8ad377e1184 |
parent 76698 | e65a50f6c2de |
child 76738 | 5a88237fac53 |
--- a/NEWS Wed Dec 21 22:11:16 2022 +0100 +++ b/NEWS Wed Dec 21 22:35:21 2022 +0100 @@ -18,6 +18,9 @@ - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics" - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs" +* Support for interactive document preparation in PIDE, notably via the +Isabelle/jEdit Document panel. + *** HOL ***