changeset 38347 | 19000bb11ff5 |
parent 38135 | 2b9bfa0b44f1 |
child 38461 | 75fc4087764e |
--- a/NEWS Wed Aug 11 14:20:34 2010 +0200 +++ b/NEWS Wed Aug 11 14:31:40 2010 +0200 @@ -35,6 +35,10 @@ *** HOL *** +* Theory Library/Monad_Syntax provides do-syntax for monad types. Syntax +in Library/State_Monad has been changed to avoid ambiguities. +INCOMPATIBILITY. + * code generator: export_code without explicit file declaration prints to standard output. INCOMPATIBILITY.