Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
authorbulwahn
Wed, 19 Oct 2011 09:11:21 +0200
changeset 45191 d98a0388faab
parent 45190 58e33a125f32
child 45192 008710fff1cc
child 45200 1f1897ac7877
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle