NEWS
changeset 69586 9171d1ce5a35
parent 69585 0484086194ce
child 69588 2b85a9294b2a
     1.1 --- a/NEWS	Thu Jan 03 21:04:16 2019 +0100
     1.2 +++ b/NEWS	Thu Jan 03 21:06:39 2019 +0100
     1.3 @@ -32,7 +32,9 @@
     1.4  without additional spaces, eg "(*)" instead of "( * )".
     1.5  
     1.6  * Mixfix annotations may use cartouches instead of old-style double
     1.7 -quotes, e.g. (infixl \<open>+\<close> 60).
     1.8 +quotes, e.g. (infixl \<open>+\<close> 60). The command-line tool "isabelle update -u
     1.9 +mixfix_cartouches" allows to update existing theory sources
    1.10 +automatically.
    1.11  
    1.12  * ML setup commands (e.g. 'setup', 'method_setup', 'parse_translation')
    1.13  need to provide a closed expression -- without trailing semicolon. Minor