Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 21 Oct 1998 16:04:57 +0200
changeset 5710 30f4d3713cbe
parent 5709 35b07f8e67b6
child 5711 5a1cd4b4b20e
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle