# HG changeset patch
# User wenzelm
# Date 1321914593 -3600
# Node ID e19788cb0a1ab104cfabb4acd04eae87e9884eb8
# Parent  70e5b43535cd95ce7e22b854dcb408fe6d70ee72
NEWS;

diff -r 70e5b43535cd -r e19788cb0a1a 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