# HG changeset patch
# User wenzelm
# Date 981312006 -3600
# Node ID ac5709ac50b9ea25b0cac1fede0f7ef439934bec
# Parent  7eef34adb852563c173b2166f40a8ce46a4394b1
* no_document ML operator temporarily disables LaTeX document
generation;

diff -r 7eef34adb852 -r ac5709ac50b9 NEWS
--- 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 ***