changeset 50015 | 0cebcbeac4c7 |
parent 50007 | 0518bf89c777 |
child 50087 | 747835eb2782 |
1.1 --- a/NEWS Wed Aug 29 17:19:48 2012 +0200 1.2 +++ b/NEWS Wed Aug 29 20:16:22 2012 +0200 1.3 @@ -97,6 +97,10 @@ 1.4 1.5 *** System *** 1.6 1.7 +* The ML system is configured as regular component, and no longer 1.8 +picked up from some surrounding directory. Potential INCOMPATIBILITY 1.9 +for home-made configurations. 1.10 + 1.11 * The "isabelle logo" tool allows to specify EPS or PDF format; the 1.12 latter is preferred now. Minor INCOMPATIBILITY. 1.13