# HG changeset patch
# User wenzelm
# Date 1295099817 -3600
# Node ID c209d9f4090a442c824ff803c14a233725fd5f5c
# Parent  7a3181986004f98918663c296f506a54daa92988
global "prems" is legacy feature;

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