diff -r 91fc3b3df93f -r ab3fa0abc119 NEWS
--- a/NEWS	Fri Jan 22 15:58:17 2021 +0100
+++ b/NEWS	Fri Jan 22 18:44:34 2021 +0100
@@ -63,6 +63,10 @@
 * Improved GUI support for macOS 11.1 Big Sur: native fullscreen mode,
 but non-native look-and-feel (FlatLaf).
 
+* IDE support for Naproche-SAD: Proof Checking of Natural Mathematical
+Documents. See also $NAPROCHE_HOME/examples for files with .ftl or
+.ftl.tex extension.
+
 
 *** Document preparation ***