changeset 55122 | 3eb7bcca5b90 |
parent 55114 | 0ee5c17f2207 |
child 55139 | 4d899933a51a |
--- 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 ***