Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
* no_document ML operator temporarily disables LaTeX document
authorwenzelm
Sun, 04 Feb 2001 19:40:06 +0100
changeset 11050 ac5709ac50b9
parent 11049 7eef34adb852
child 11051 00b70f3196c2
* no_document ML operator temporarily disables LaTeX document generation;
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle