NEWS
changeset 61494 63b18f758874
parent 61492 3480725c71d2
child 61501 42afc789add8
     1.1 --- a/NEWS	Tue Oct 20 23:53:40 2015 +0200
     1.2 +++ b/NEWS	Wed Oct 21 00:23:11 2015 +0200
     1.3 @@ -73,7 +73,8 @@
     1.4  * The @{text} antiquotation now ignores the antiquotation option
     1.5  "source". The given text content is output unconditionally, without any
     1.6  surrounding quotes etc. Subtle INCOMPATIBILITY, put quotes into the
     1.7 -argument where they are really intended, e.g. @{text \<open>"foo"\<close>}.
     1.8 +argument where they are really intended, e.g. @{text \<open>"foo"\<close>}. Initial
     1.9 +or terminal spaces are ignored.
    1.10  
    1.11  * HTML presentation uses the standard IsabelleText font and Unicode
    1.12  rendering of Isabelle symbols like Isabelle/Scala/jEdit.  The former