--- a/NEWS Sun Feb 04 19:31:13 2001 +0100
+++ b/NEWS Sun Feb 04 19:40:06 2001 +0100
@@ -58,6 +58,9 @@
* isatool unsymbolize tunes sources for plain ASCII communication;
+* no_document ML operator temporarily disables LaTeX document
+generation;
+
*** Isar ***