# HG changeset patch
# User wenzelm
# Date 928170506 -7200
# Node ID 0e346c73828c834fe24e20126b45788dcb303488
# Parent  0681dd2211b5cd459f5cae8117054cc1702cb10f
Isabelle manuals now also available as PDF;

diff -r 0681dd2211b5 -r 0e346c73828c NEWS
--- a/NEWS	Fri May 28 18:20:58 1999 +0200
+++ b/NEWS	Mon May 31 19:08:26 1999 +0200
@@ -33,6 +33,8 @@
 
 *** General ***
 
+* Isabelle manuals now also available as PDF;
+
 * improved browser info generation: better HTML markup (including
 colors), graph views in several sizes; isatool usedir now provides a
 proper interface for user theories (via -P option);