author | bulwahn |
Wed, 19 Oct 2011 09:11:21 +0200 | |
changeset 45191 | d98a0388faab |
parent 45190 | 58e33a125f32 |
child 45192 | 008710fff1cc |
child 45200 | 1f1897ac7877 |
--- a/NEWS Wed Oct 19 09:11:20 2011 +0200 +++ b/NEWS Wed Oct 19 09:11:21 2011 +0200 @@ -9,6 +9,9 @@ * Obsolete command 'types' has been discontinued. Use 'type_synonym' instead. INCOMPATIBILITY. +* Ancient code generator for SML and its commands 'code_module', + 'code_library', 'consts_code', 'types_code' have been discontinued. + Use commands of the generic code generator instead. INCOMPATIBILITY. *** HOL ***