# HG changeset patch
# User wenzelm
# Date 1393082181 -3600
# Node ID 6e97c17665005dfaa397d304dc40d406bccf96cc
# Parent  a99f9beba83ae1746a40d1fc7969c3545728e1ca
NEWS;

diff -r a99f9beba83a -r 6e97c1766500 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 ***