NEWS;

--- a/NEWS	Mon Nov 21 23:04:45 2011 +0100
+++ b/NEWS	Mon Nov 21 23:29:53 2011 +0100
@@ -6,6 +6,11 @@
 
 *** General ***
 
+* Prover IDE (PIDE) improvements:
+
+  - markup for bound variables
+  - markup for types of term variables (e.g. displayed as tooltips)
+
 * Rule attributes in local theory declarations (e.g. locale or class)
 are now statically evaluated: the resulting theorem is stored instead
 of the original expression.  INCOMPATIBILITY in rare situations, where