--- a/NEWS Fri Jun 25 20:30:14 2021 +0200
+++ b/NEWS Fri Jun 25 21:14:57 2021 +0200
@@ -31,6 +31,8 @@
* More robust 'proof' outline for method "induct": support nested cases.
+* Support for built-in font substitution of jEdit text area.
+
*** Document preparation ***