author | wenzelm |
Wed, 22 Jan 2014 23:51:26 +0100 | |
changeset 55122 | 3eb7bcca5b90 |
parent 55121 | 2c9d6d305f14 |
child 55123 | a389b50e6a42 |
--- a/NEWS Wed Jan 22 23:19:40 2014 +0100 +++ b/NEWS Wed Jan 22 23:51:26 2014 +0100 @@ -20,6 +20,9 @@ of "\\", to avoid the optical illusion of escaped backslash within string token. Minor INCOMPATIBILITY. +* Lexical syntax (inner and outer) supports text cartouches with +arbitrary nesting, and without escapes of quotes etc. + *** Prover IDE -- Isabelle/Scala/jEdit ***