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