NEWS
changeset 8566 30261b1917b5
parent 8534 fdbabfbc3829
child 8570 63d4f3ea2e70
--- a/NEWS	Fri Mar 24 13:47:36 2000 +0100
+++ b/NEWS	Fri Mar 24 13:48:01 2000 +0100
@@ -23,6 +23,9 @@
 (isatool document -c); may retain a copy somewhere else via -D option
 of isatool usedir;
 
+* isatool usedir -D now lets isatool latex -o sty update the Isabelle
+style files, achieving self-contained LaTeX sources;
+
 * old-style theories now produce (crude) LaTeX output as well;