| changeset 73174 | ab3fa0abc119 |
| parent 73172 | fc828f64da5b |
| child 73194 | c0d6d57a9a31 |
--- 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 ***