diff -r 6e43936f2111 -r e6c9c1c3f580 NEWS
--- 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 ***