NEWS
changeset 55114 0ee5c17f2207
parent 55098 01869d711567
parent 55108 0b7a0c1fdf7e
child 55122 3eb7bcca5b90
     1.1 --- a/NEWS	Wed Jan 22 10:13:40 2014 +0100
     1.2 +++ b/NEWS	Wed Jan 22 17:14:27 2014 +0100
     1.3 @@ -43,6 +43,10 @@
     1.4  context discipline.  See also Assumption.add_assumes and the more
     1.5  primitive Thm.assume_hyps.
     1.6  
     1.7 +* Inner syntax token language allows regular quoted strings "..."
     1.8 +(only makes sense in practice, if outer syntax is delimited
     1.9 +differently).
    1.10 +
    1.11  
    1.12  *** HOL ***
    1.13