* no_document ML operator temporarily disables LaTeX document
authorwenzelm
Sun Feb 04 19:40:06 2001 +0100 (2001-02-04)
changeset 11050ac5709ac50b9
parent 11049 7eef34adb852
child 11051 00b70f3196c2
* no_document ML operator temporarily disables LaTeX document
generation;
NEWS
     1.1 --- a/NEWS	Sun Feb 04 19:31:13 2001 +0100
     1.2 +++ b/NEWS	Sun Feb 04 19:40:06 2001 +0100
     1.3 @@ -58,6 +58,9 @@
     1.4  
     1.5  * isatool unsymbolize tunes sources for plain ASCII communication;
     1.6  
     1.7 +* no_document ML operator temporarily disables LaTeX document
     1.8 +generation;
     1.9 +
    1.10  
    1.11  *** Isar ***
    1.12