NEWS
changeset 55015 e33c5bd729ff
parent 55007 0c07990363a3
child 55029 61a6bf7d4b02
     1.1 --- a/NEWS	Wed Jan 15 22:24:57 2014 +0100
     1.2 +++ b/NEWS	Wed Jan 15 23:25:28 2014 +0100
     1.3 @@ -42,6 +42,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* The symbol "\<newline>" may be used within char or string literals
     1.8 +to represent (Char Nibble0 NibbleA), i.e. ASCII newline.
     1.9 +
    1.10  * Activation of Z3 now works via "z3_non_commercial" system option
    1.11  (without requiring restart), instead of former settings variable
    1.12  "Z3_NON_COMMERCIAL".  The option can be edited in Isabelle/jEdit menu