NEWS;

--- a/NEWS	Fri Feb 14 20:11:49 2020 +0100
+++ b/NEWS	Sat Feb 15 21:15:03 2020 +0100
@@ -33,6 +33,9 @@
 facts. The former graph visualization has been discontinued, because it
 was hardly usable.
 
+* Refined treatment of proof terms, including type-class proofs for
+minor object-logics (FOL, FOLP, Sequents).
+
 
 *** Isar ***