NEWS
changeset 69697 4d95261fab5a
parent 69690 1fb204399d8d
child 69707 920fe0a2fd22
     1.1 --- a/NEWS	Sun Jan 20 21:26:15 2019 +0100
     1.2 +++ b/NEWS	Sun Jan 20 17:14:35 2019 +0000
     1.3 @@ -85,6 +85,9 @@
     1.4  proper module frame, nothing is added magically any longer.
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Code generation: slightly more conventional syntax for
     1.8 +'code_stmts' antiquotation.  Minor INCOMPATIBILITY.
     1.9 +
    1.10  * Simplified syntax setup for big operators under image. In rare
    1.11  situations, type conversions are not inserted implicitly any longer
    1.12  and need to be given explicitly. Auxiliary abbreviations INFIMUM,