changeset 55029 | 61a6bf7d4b02 |
parent 55015 | e33c5bd729ff |
child 55049 | 327eafb594ba |
--- a/NEWS Fri Jan 17 18:12:35 2014 +0100 +++ b/NEWS Fri Jan 17 20:20:20 2014 +0100 @@ -16,6 +16,10 @@ workaround in Isabelle2013-1. The prover process no longer accepts old identifier syntax with \<^isub> or \<^isup>. +* Syntax of document antiquotation @{rail} now uses \<newline> instead +of "\\", to avoid the optical illusion of escaped backslash within +string token. Minor INCOMPATIBILITY. + *** Prover IDE -- Isabelle/Scala/jEdit ***