# HG changeset patch
# User wenzelm
# Date 1015248430 -3600
# Node ID 3437d8d8980310e62cf4d1eaee1cd41e89e90f2c
# Parent  fcbc9e506a636aeecc516fc71e60f581bd51dcd5
tuned;

diff -r fcbc9e506a63 -r 3437d8d89803 ANNOUNCE
--- a/ANNOUNCE	Mon Mar 04 13:56:12 2002 +0100
+++ b/ANNOUNCE	Mon Mar 04 14:27:10 2002 +0100
@@ -42,8 +42,7 @@
 
   * HOL/HoareParallel: large application concerning verification of
     parallel imperative programs (Owicki-Gries method, Rely-Guarantee
-    method, including examples of garbage collection, mutual
-    exclusion, etc.)
+    method, examples of garbage collection, mutual exclusion, etc.)
     (by Leonor Prensa Nieto).
 
   * HOL/GroupTheory: group theory examples including Sylow's theorem
diff -r fcbc9e506a63 -r 3437d8d89803 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Mon Mar 04 13:56:12 2002 +0100
+++ b/Admin/page/dist-content/docs.content	Mon Mar 04 14:27:10 2002 +0100
@@ -8,8 +8,7 @@
 Isabelle distribution.  For getting started with Isabelle quickly, we
 recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a> --
 published by Springer Verlag as <a
-href="http://link.springer.de/link/service/series/0558/tocs/t2283.htm">LNCS
-2283</a>.
+href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>.
 
 <!-- _GP_ include("$pwd/docu-contents.dist") -->