# HG changeset patch
# User wenzelm
# Date 1221578474 -7200
# Node ID 79b8efed66bf4f8a594b6b1928512ad59223ddcc
# Parent  679ce61372112d42463477d6c2afaefbe4cd33b3
updated system manual;

diff -r 679ce6137211 -r 79b8efed66bf NEWS
--- a/NEWS	Tue Sep 16 17:18:41 2008 +0200
+++ b/NEWS	Tue Sep 16 17:21:14 2008 +0200
@@ -6,6 +6,9 @@
 
 *** General ***
 
+* The Isabelle System Manual (system) has been updated, with formally
+checked references as hyperlinks.
+
 * Generalized Isar history, with support for linear undo, direct state
 addressing etc.