From a44df3c847cf3d8056d7ccf3dc38d5afbd0e86e7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 09:56:25 +0000
Subject: Mention experimental nature

---
 CHANGES | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 1bf45a3b..1e5cfb69 100644
--- a/CHANGES
+++ b/CHANGES
@@ -55,10 +55,10 @@ Support next error function.
 Isabelle classic mode: highlighting tweaks for ML code contributed by
 Lucas Dixon (lucasd@dai.ed.ac.uk)
 
-*** Active highlighting of variables
+*** Active highlighting of variables  [ EXPERIMENTAL FEATURE: has issues ]
 
 Variables are made active in the goals buffer.  Hovering the mouse
-over an identifier shows its type.  [IN PROGRESS; faulty with X-Sym]
+over an identifier shows its type.  
 
 This handy feature is a glimpse of what could be done with proper
 subterm markup, which needs support to be added in the Isabelle core.
-- 
cgit v1.2.3