From a6cb6e1e302ba63b8c5ca73d70d970738bf9ff23 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 18 Jan 2012 15:25:17 +0000
Subject: Added some detail on the indentation limitation in the CHANGE.

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

diff --git a/CHANGES b/CHANGES
index cb49b3b6..1cdc0f03 100644
--- a/CHANGES
+++ b/CHANGES
@@ -24,6 +24,9 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 *** Support proof-tree visualization
 
 *** Indentation improvements using SMIE
+    Limitations:
+**** hard-wired precedence between bullets - < + < *
+**** no "{" following a bullet.
 
 *** Minor parsing fixes
 
-- 
cgit v1.2.3