From 4936304bda8f1fed11aafd828be421eaf688a75d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 5 Oct 2003 15:56:39 +0000
Subject: Updated.

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index c32572b7..3028a9cb 100644
--- a/CHANGES
+++ b/CHANGES
@@ -137,8 +137,11 @@ Reduce contrast for mouse highlighting of regions.
 *** Added `proof-shell-identifier-under-mouse-cmd'
 
 Allows PG to conveniently send a command to the prover which passes
-the identifier under the mouse as an argument.  Bound globally to
-Control-Meta-Mouse-button1.
+the identifier under the mouse, or the active region, as an argument.
+Bound globally to Control-Meta-Mouse-button1.
+
+Presently only configured in Isabelle/Isar, to parse terms (inside
+strings) and theorems (outside).
 
 
 ** GNU Emacs compatibility, simplified font-lock, handling nested comments
-- 
cgit v1.2.3