NEWS

--- a/NEWS	Sun Sep 07 17:51:28 2014 +0200
+++ b/NEWS	Sun Sep 07 17:51:32 2014 +0200
@@ -15,6 +15,12 @@
 semantics due to external visual order vs. internal reverse order.
 
 
+*** Pure ***
+
+* Command "class_deps" takes optional sort arguments constraining
+the search space.
+
+
 *** HOL ***
 
 * Command and antiquotation "value" provide different evaluation slots (again),