# HG changeset patch
# User bulwahn
# Date 1305726334 -7200
# Node ID 0e594ba0b3249e84fc081aa37c7ec5f439620062
# Parent  6ef538f6a8abb0d365827f97facdfec4f155ec2a
NEWS

diff -r 6ef538f6a8ab -r 0e594ba0b324 NEWS
--- a/NEWS	Wed May 18 15:45:33 2011 +0200
+++ b/NEWS	Wed May 18 15:45:34 2011 +0200
@@ -58,6 +58,10 @@
 
 *** HOL ***
 
+* Code generation:
+  - theory Library/Code_Char_ord provides native ordering of characters
+    in the target language.
+    
 * Declare ext [intro] by default.  Rare INCOMPATIBILITY.
 
 * Finite_Set.thy: locale fun_left_comm uses point-free characterisation;