usedir -D: update styles;
authorwenzelm
Fri Mar 24 13:48:01 2000 +0100 (2000-03-24)
changeset 856630261b1917b5
parent 8565 3c3895e37761
child 8567 e6d46b03f2cb
usedir -D: update styles;
NEWS
     1.1 --- a/NEWS	Fri Mar 24 13:47:36 2000 +0100
     1.2 +++ b/NEWS	Fri Mar 24 13:48:01 2000 +0100
     1.3 @@ -23,6 +23,9 @@
     1.4  (isatool document -c); may retain a copy somewhere else via -D option
     1.5  of isatool usedir;
     1.6  
     1.7 +* isatool usedir -D now lets isatool latex -o sty update the Isabelle
     1.8 +style files, achieving self-contained LaTeX sources;
     1.9 +
    1.10  * old-style theories now produce (crude) LaTeX output as well;
    1.11  
    1.12