NEWS
changeset 11551 8b5064d1c5c9
parent 11549 e7265e70fd7c
child 11572 93da54c8a687
     1.1 --- a/NEWS	Sat Sep 08 20:00:31 2001 +0200
     1.2 +++ b/NEWS	Sat Sep 08 20:02:09 2001 +0200
     1.3 @@ -52,6 +52,11 @@
     1.4  * Proof General keywords specification is now part of the Isabelle
     1.5  distribution (see etc/isar-keywords.el);
     1.6  
     1.7 +* system: support Poly/ML 4.1.1 (large heaps);
     1.8 +
     1.9 +* system: smart selection of Isabelle process versus Isabelle
    1.10 +interface, accomodates case-insensitive file systems (e.g. HFS+);
    1.11 +
    1.12  
    1.13  
    1.14  New in Isabelle99-2 (February 2001)