NEWS;
authorwenzelm
Wed Jan 22 23:51:26 2014 +0100 (2014-01-22)
changeset 551223eb7bcca5b90
parent 55121 2c9d6d305f14
child 55123 a389b50e6a42
NEWS;
NEWS
     1.1 --- a/NEWS	Wed Jan 22 23:19:40 2014 +0100
     1.2 +++ b/NEWS	Wed Jan 22 23:51:26 2014 +0100
     1.3 @@ -20,6 +20,9 @@
     1.4  of "\\", to avoid the optical illusion of escaped backslash within
     1.5  string token.  Minor INCOMPATIBILITY.
     1.6  
     1.7 +* Lexical syntax (inner and outer) supports text cartouches with
     1.8 +arbitrary nesting, and without escapes of quotes etc.
     1.9 +
    1.10  
    1.11  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.12