# HG changeset patch
# User wenzelm
# Date 1288016236 -7200
# Node ID e4f1275820b2fde88d36123c0273d3cf905fe45d
# Parent  916cb4a28ffd290ec5ec5f4f7488c2f4a63f16db
significantly improved Isabelle/Isar implementation manual;

diff -r 916cb4a28ffd -r e4f1275820b2 NEWS
--- a/NEWS	Mon Oct 25 16:14:40 2010 +0200
+++ b/NEWS	Mon Oct 25 16:17:16 2010 +0200
@@ -6,6 +6,8 @@
 
 *** General ***
 
+* Significantly improved Isabelle/Isar implementation manual.
+
 * Explicit treatment of UTF8 sequences as Isabelle symbols, such that
 a Unicode character is treated as a single symbol, not a sequence of
 non-ASCII bytes as before.  Since Isabelle/ML string literals may