From 9e106ef2d8377a8a12285eb79e5a704751cebdcb Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Tue, 3 Jan 2012 10:40:39 +0000
Subject: update CHANGES

---
 CHANGES | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/CHANGES b/CHANGES
index c3c3ce50..f4278cab 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,12 +8,20 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 
 ** Generic/misc changes
 
+*** Support proof-tree visualization via the external Prooftree program
+    Currently only Coq (using Coq version 8.4beta or newer)
+    supports proof-tree visualization. If Prooftree is installed,
+    the proof-tree display can be started via the toolbar, the
+    Proof-General menu or by C-c C-d.
+
 *** Compilation fixes for Emacs 24.
 
 *** Fix "pgshell" mode for shell/CLI prover interaction
 
 ** Coq changes
 
+*** Support proof-tree visulization
+
 *** Indentation improvements using SMIE
 
 *** Minor parsing fixes
-- 
cgit v1.2.3