From e8884ad1addf9ddda277f4518e509cf71275ba63 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 4 Jan 2012 12:42:03 +0000
Subject: Add link to Prooftree download

---
 CHANGES | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index f4278cab..6bd32c11 100644
--- a/CHANGES
+++ b/CHANGES
@@ -12,7 +12,8 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     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.
+    Proof-General menu or by C-c C-d.  To get Prooftree, visit
+    http://askra.de/software/prooftree
 
 *** Compilation fixes for Emacs 24.
 
-- 
cgit v1.2.3