# HG changeset patch
# User wenzelm
# Date 1008688490 -3600
# Node ID 150af0a4bb11996c20820b9b178ead401c834bc1
# Parent  f2cda6fb1c9fed02771d3d2de03446a49df46e88
* system: tested support for MacOS X;

diff -r f2cda6fb1c9f -r 150af0a4bb11 NEWS
--- a/NEWS	Tue Dec 18 15:04:19 2001 +0100
+++ b/NEWS	Tue Dec 18 16:14:50 2001 +0100
@@ -1,3 +1,4 @@
+
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -300,6 +301,13 @@
 * Provers/clasimp: ``iff'' declarations now handle conditional rules
 as well;
 
+* system: tested support for MacOS X; should be able to get Isabelle +
+Proof General to work in a plain Terminal after installing Poly/ML
+(e.g. from the Isabelle distribution area) and GNU bash alone
+(e.g. from http://www.apple.com); full X11, XEmacs and X-Symbol
+support requires further installations, e.g. from
+http://fink.sourceforge.net/);
+
 * system: support Poly/ML 4.1.1 (able to manage larger heaps);
 
 * system: Proof General keywords specification is now part of the