NEWS
changeset 33037 b22e44496dc2
parent 33010 39f73a59e855
child 33057 764547b68538
     1.1 --- a/NEWS	Tue Oct 20 13:37:56 2009 +0200
     1.2 +++ b/NEWS	Tue Oct 20 16:13:01 2009 +0200
     1.3 @@ -213,6 +213,9 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Removed some old-style infix operations using polymorphic equality.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  * Structure Synchronized (cf. src/Pure/Concurrent/synchronized.ML)
    1.11  provides a high-level programming interface to synchronized state
    1.12  variables with atomic update.  This works via pure function