--- a/NEWS Tue May 10 11:56:23 2016 +0100
+++ b/NEWS Tue May 10 14:04:44 2016 +0100
@@ -158,7 +158,10 @@
INCOMPATIBILITY.
* More complex analysis including Cauchy's inequality, Liouville theorem,
-open mapping theorem, maximum modulus principle, Schwarz Lemma.
+open mapping theorem, maximum modulus principle, Residue theorem, Schwarz Lemma.
+
+* Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman
+Minkowski theorem.
* "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional
comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)".