# HG changeset patch
# User wenzelm
# Date 1581797703 -3600
# Node ID 91340a6bf401b12424fe22bf180b8eb8aec1ecb4
# Parent  e596ea18bf3edca7f1cebb351c2b3b846b8cc645
NEWS;

diff -r e596ea18bf3e -r 91340a6bf401 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 ***