# HG changeset patch
# User wenzelm
# Date 953902081 -3600
# Node ID 30261b1917b582895d79e282dd636adaabf265d8
# Parent  3c3895e377617c4dd3860961f33f2d9a183be28c
usedir -D: update styles;

diff -r 3c3895e37761 -r 30261b1917b5 NEWS
--- 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;