* isatool mkdir provides easy setup of Isabelle session directories,
authorwenzelm
Wed Mar 08 17:36:54 2000 +0100 (2000-03-08)
changeset 8358a57d72b5d272
parent 8357 61307df166bc
child 8359 124ad46105dd
* isatool mkdir provides easy setup of Isabelle session directories,
including proper documents;

* generated LaTeX sources are now deleted after successful run
(isatool document -c); may retain a copy somewhere else via -D option
of isatool usedir;

* old-style theories now produce (crude) LaTeX sources as well;

* compression of ML heaps images may now be controlled via -c option
of isabelle and isatool usedir;
NEWS
     1.1 --- a/NEWS	Wed Mar 08 17:35:08 2000 +0100
     1.2 +++ b/NEWS	Wed Mar 08 17:36:54 2000 +0100
     1.3 @@ -10,6 +10,18 @@
     1.4  * HOL: the constant for f``x is now "image" rather than "op ``".
     1.5  
     1.6  
     1.7 +*** Isabelle document preparation ***
     1.8 +
     1.9 +* isatool mkdir provides easy setup of Isabelle session directories,
    1.10 +including proper documents;
    1.11 +
    1.12 +* generated LaTeX sources are now deleted after successful run
    1.13 +(isatool document -c); may retain a copy somewhere else via -D option
    1.14 +of isatool usedir;
    1.15 +
    1.16 +* old-style theories now produce (crude) LaTeX sources as well;
    1.17 +
    1.18 +
    1.19  *** Isar ***
    1.20  
    1.21  * names of theorems etc. may be natural numbers as well;
    1.22 @@ -39,6 +51,12 @@
    1.23  extended records as well; admit "r" as field name;
    1.24  
    1.25  
    1.26 +*** General ***
    1.27 +
    1.28 +* compression of ML heaps images may now be controlled via -c option
    1.29 +of isabelle and isatool usedir;
    1.30 +
    1.31 +
    1.32  
    1.33  New in Isabelle99 (October 1999)
    1.34  --------------------------------