NEWS
changeset 43743 8786e36b8142
parent 43737 592b32eb18a6
parent 43731 70072780e095
child 43752 0517a69de5d6
     1.1 --- a/NEWS	Sun Jul 10 21:39:03 2011 +0200
     1.2 +++ b/NEWS	Sun Jul 10 21:46:41 2011 +0200
     1.3 @@ -149,6 +149,12 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* The inner syntax of sort/type/term/prop supports inlined YXML
     1.8 +representations within quoted string tokens.  By encoding logical
     1.9 +entities via Term_XML (in ML or Scala) concrete syntax can be
    1.10 +bypassed, which is particularly useful for producing bits of text
    1.11 +under external program control.
    1.12 +
    1.13  * Antiquotations for ML and document preparation are managed as theory
    1.14  data, which requires explicit setup.
    1.15