# HG changeset patch
# User wenzelm
# Date 1127813227 -7200
# Node ID 7fc1e8f0d5e13647fbfc5e6fc77848802cb03885
# Parent  28be54ff74f85106220e68e63ae72fd376d22bba
tuned;

diff -r 28be54ff74f8 -r 7fc1e8f0d5e1 NEWS
--- a/NEWS	Tue Sep 27 11:03:38 2005 +0200
+++ b/NEWS	Tue Sep 27 11:27:07 2005 +0200
@@ -247,15 +247,13 @@
 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.
+generation) and code_library (modular code generation, ML structures
+for each theory).  INCOMPATIBILITY: new keywords 'file' and 'contains'
+must be quoted when used as identifiers.
+
+* New 'value' command for reading, evaluating and printing terms using
+the code generator.  INCOMPATIBILITY: command keyword 'value' must be
+quoted when used as identifier.
 
 
 *** Locales ***