--- a/NEWS Wed Mar 08 17:35:08 2000 +0100
+++ b/NEWS Wed Mar 08 17:36:54 2000 +0100
@@ -10,6 +10,18 @@
* HOL: the constant for f``x is now "image" rather than "op ``".
+*** Isabelle document preparation ***
+
+* 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;
+
+
*** Isar ***
* names of theorems etc. may be natural numbers as well;
@@ -39,6 +51,12 @@
extended records as well; admit "r" as field name;
+*** General ***
+
+* compression of ML heaps images may now be controlled via -c option
+of isabelle and isatool usedir;
+
+
New in Isabelle99 (October 1999)
--------------------------------