Added some detail on the indentation limitation in the CHANGE.

1 files changed, 3 insertions, 0 deletions

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