NEWS
changeset 11124 5b97a468b46d
parent 11112 2fea4923864f
child 11130 d14fd58615b9
     1.1 --- a/NEWS	Wed Feb 14 20:45:35 2001 +0100
     1.2 +++ b/NEWS	Wed Feb 14 23:17:53 2001 +0100
     1.3 @@ -170,8 +170,6 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 -* system: support Poly/ML 4.0;
     1.8 -
     1.9  * Pure: the Simplifier has been implemented properly as a derived rule
    1.10  outside of the actual kernel (at last!); the overall performance
    1.11  penalty in practical applications is about 50%, while reliability of
    1.12 @@ -183,6 +181,10 @@
    1.13  * Provers: fast_tac (and friends) now handle actual object-logic rules
    1.14  as assumptions as well;
    1.15  
    1.16 +* system: support Poly/ML 4.0;
    1.17 +
    1.18 +* system: isatool install handles KDE version 1 or 2;
    1.19 +
    1.20  
    1.21  
    1.22  New in Isabelle99-1 (October 2000)