NEWS
changeset 39616 8052101883c3
parent 39557 fe5722fce758
child 39644 ad436fa9fc5b
     1.1 --- a/NEWS	Wed Sep 22 17:46:59 2010 +0200
     1.2 +++ b/NEWS	Wed Sep 22 18:21:48 2010 +0200
     1.3 @@ -244,6 +244,9 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Renamed setmp_noncritical to Unsynchronized.setmp to emphasize its
     1.8 +meaning.
     1.9 +
    1.10  * Renamed structure PureThy to Pure_Thy and moved most of its
    1.11  operations to structure Global_Theory, to emphasize that this is
    1.12  rarely-used global-only stuff.