--- a/NEWS Wed Feb 14 20:45:35 2001 +0100
+++ b/NEWS Wed Feb 14 23:17:53 2001 +0100
@@ -170,8 +170,6 @@
*** General ***
-* system: support Poly/ML 4.0;
-
* Pure: the Simplifier has been implemented properly as a derived rule
outside of the actual kernel (at last!); the overall performance
penalty in practical applications is about 50%, while reliability of
@@ -183,6 +181,10 @@
* Provers: fast_tac (and friends) now handle actual object-logic rules
as assumptions as well;
+* system: support Poly/ML 4.0;
+
+* system: isatool install handles KDE version 1 or 2;
+
New in Isabelle99-1 (October 2000)