# HG changeset patch
# User wenzelm
# Date 1127254052 -7200
# Node ID 9b089c63f08828a8622351dc5c75b4f9243e7ea3
# Parent  3825229092f03503d5706f6eeb5766700ca3be87
tuned;

diff -r 3825229092f0 -r 9b089c63f088 NEWS
--- a/NEWS	Tue Sep 20 23:36:57 2005 +0200
+++ b/NEWS	Wed Sep 21 00:07:32 2005 +0200
@@ -46,8 +46,10 @@
 * Communication with Proof General is now 8bit clean, which means that
 Unicode text in UTF-8 encoding may be used within theory texts (both
 formal and informal parts).  Cf. option -U of the Isabelle Proof
-General interface; see HOL/ex/Hebrew.thy and HOL/ex/Chinese.thy for
-some simple examples.
+General interface.  Here are some simple examples (cf. src/HOL/ex):
+
+  http://isabelle.in.tum.de/library/HOL/ex/Hebrew.html
+  http://isabelle.in.tum.de/library/HOL/ex/Chinese.html
 
 * Improved efficiency of the Simplifier and, to a lesser degree, the
 Classical Reasoner.  Typical big applications run around 2 times
@@ -940,6 +942,7 @@
 generated HTML files.  For example:
 
   HTML.with_charset "utf-8" use_thy "Hebrew";
+  HTML.with_charset "utf-8" use_thy "Chinese";
 
 
 *** System ***