# HG changeset patch
# User wenzelm
# Date 908978697 -7200
# Node ID 30f4d3713cbeff2e3b53e571b56db22bb0ec21f1
# Parent  35b07f8e67b6134ef0d6a185ac2a8485a6ad8928
tuned;

diff -r 35b07f8e67b6 -r 30f4d3713cbe NEWS
--- a/NEWS	Wed Oct 21 15:57:04 1998 +0200
+++ b/NEWS	Wed Oct 21 16:04:57 1998 +0200
@@ -123,8 +123,7 @@
 
 *** HOL ***
 
-** There is now a HOL TUTORIAL **
-   Use `isatool doc tutorial' or see Doc/Tutorial.
+* there is now a tutorial on Isabelle/HOL (do 'isatool doc tutorial');
 
 * HOL/inductive package reorganized and improved: now supports mutual
 definitions such as