NEWS
changeset 12538 150af0a4bb11
parent 12489 c92e38c3cbaa
child 12563 3813bcab493d
     1.1 --- a/NEWS	Tue Dec 18 15:04:19 2001 +0100
     1.2 +++ b/NEWS	Tue Dec 18 16:14:50 2001 +0100
     1.3 @@ -1,3 +1,4 @@
     1.4 +
     1.5  Isabelle NEWS -- history user-relevant changes
     1.6  ==============================================
     1.7  
     1.8 @@ -300,6 +301,13 @@
     1.9  * Provers/clasimp: ``iff'' declarations now handle conditional rules
    1.10  as well;
    1.11  
    1.12 +* system: tested support for MacOS X; should be able to get Isabelle +
    1.13 +Proof General to work in a plain Terminal after installing Poly/ML
    1.14 +(e.g. from the Isabelle distribution area) and GNU bash alone
    1.15 +(e.g. from http://www.apple.com); full X11, XEmacs and X-Symbol
    1.16 +support requires further installations, e.g. from
    1.17 +http://fink.sourceforge.net/);
    1.18 +
    1.19  * system: support Poly/ML 4.1.1 (able to manage larger heaps);
    1.20  
    1.21  * system: Proof General keywords specification is now part of the