1.1 --- a/NEWS	Sat Jan 15 14:19:37 2011 +0100
     1.2 +++ b/NEWS	Sat Jan 15 14:56:57 2011 +0100
     1.3 @@ -133,6 +133,11 @@
     1.4  * Discontinued obsolete 'constdefs' command.  INCOMPATIBILITY, use
     1.5  'definition' instead.
     1.6  
     1.7 +* The "prems" fact, which refers to the accidental collection of
     1.8 +foundational premises in the context, is now explicitly marked as
     1.9 +legacy feature and will be discontinued eventually.  Consider using
    1.10 +"assms" of the head statement or reference facts by explicit names.
    1.11 +
    1.12  * Document antiquotations @{class} and @{type} print classes and type
    1.13  constructors.
    1.14