changeset 69216 | 1a52baa70aed |
parent 69213 | ab98f058f9dc |
child 69230 | 07fc77bf5eb6 |
--- a/NEWS Wed Oct 31 15:50:45 2018 +0100 +++ b/NEWS Wed Oct 31 15:53:32 2018 +0100 @@ -15,6 +15,10 @@ * Infix operators that begin or end with a "*" can now be paranthesized without additional spaces, eg "(*)" instead of "( * )". +* ML setup commands (e.g. 'setup', 'method_setup', 'parse_translation') +need to provide a closed expression -- without trailing semicolon. Minor +INCOMPATIBILITY. + *** Isabelle/jEdit Prover IDE ***