# HG changeset patch # User berghofe # Date 1127811818 -7200 # Node ID 28be54ff74f85106220e68e63ae72fd376d22bba # Parent c6165cf72e6a9f1cd70e3348fa59d6d113bfa62e Added entries for code_module, code_library, and value. diff -r c6165cf72e6a -r 28be54ff74f8 NEWS --- a/NEWS Tue Sep 27 11:02:16 2005 +0200 +++ b/NEWS Tue Sep 27 11:03:38 2005 +0200 @@ -246,6 +246,17 @@ * More efficient treatment of intermediate checkpoints in interactive theory development. +* Code generator is now invoked via code_module (incremental code + generation) and code_library (modular code generation, ML structures + for each theory). + INCOMPATIBILITY: new keywords "file" and "contains" must be quoted + when used as identifier names. + +* New "value" command for parsing, evaluating and printing terms + using the code generator. + INCOMPATIBILITY: new keyword "value" must be quoted when used as + identifier name. + *** Locales ***