# HG changeset patch
# User wenzelm
# Date 999972129 -7200
# Node ID 8b5064d1c5c9e1fe2739c9cbdf57445e002d4966
# Parent  915c5de6480f1b0b801c3f167dfc7e679691979a
* system: support Poly/ML 4.1.1 (large heaps);
* system: smart selection of Isabelle process versus Isabelle
interface, accomodates case-insensitive file systems (e.g. HFS+);

diff -r 915c5de6480f -r 8b5064d1c5c9 NEWS
--- a/NEWS	Sat Sep 08 20:00:31 2001 +0200
+++ b/NEWS	Sat Sep 08 20:02:09 2001 +0200
@@ -52,6 +52,11 @@
 * Proof General keywords specification is now part of the Isabelle
 distribution (see etc/isar-keywords.el);
 
+* system: support Poly/ML 4.1.1 (large heaps);
+
+* system: smart selection of Isabelle process versus Isabelle
+interface, accomodates case-insensitive file systems (e.g. HFS+);
+
 
 
 New in Isabelle99-2 (February 2001)