# 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;