NEWS;

--- a/NEWS	Sat Feb 22 16:11:23 2014 +0100
+++ b/NEWS	Sat Feb 22 16:16:21 2014 +0100
@@ -21,7 +21,9 @@
 string token.  Minor INCOMPATIBILITY.
 
 * Lexical syntax (inner and outer) supports text cartouches with
-arbitrary nesting, and without escapes of quotes etc.
+arbitrary nesting, and without escapes of quotes etc.  The Prover IDE
+supports input methods via ` (backquote), or << and >> (double angle
+brackets).
 
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***