NEWS
changeset 55668 6e97c1766500
parent 55654 5ff4742f27ec
child 55677 1f89921f3e75
     1.1 --- a/NEWS	Sat Feb 22 16:11:23 2014 +0100
     1.2 +++ b/NEWS	Sat Feb 22 16:16:21 2014 +0100
     1.3 @@ -21,7 +21,9 @@
     1.4  string token.  Minor INCOMPATIBILITY.
     1.5  
     1.6  * Lexical syntax (inner and outer) supports text cartouches with
     1.7 -arbitrary nesting, and without escapes of quotes etc.
     1.8 +arbitrary nesting, and without escapes of quotes etc.  The Prover IDE
     1.9 +supports input methods via ` (backquote), or << and >> (double angle
    1.10 +brackets).
    1.11  
    1.12  
    1.13  *** Prover IDE -- Isabelle/Scala/jEdit ***