From af9a7086bb182405bc3e738a28d5483afe7d40fb Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <courtieu@lri.fr>
Date: Tue, 23 Dec 2014 12:30:24 +0000
Subject: Supporting more bullets (coq 8.5), like ++ or ++++.

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index bac19211..acd47fe6 100644
--- a/CHANGES
+++ b/CHANGES
@@ -28,6 +28,11 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     to compile modules in parallel in the background while Proof
     General stays responsive.
 
+*** Support for more bullets (coq 8.5): -- --- ++ +++ ** ***
+    Scripting supports bullets of any length. 
+    Indentation supports only bullets of length <= 4 (like ----). Longer
+    may be supported if needed.
+
 *** Support for bullets, braces and Grab Existential Variables for Prooftree.
 
 *** Support for _Coqproject files
-- 
cgit v1.2.3