# HG changeset patch
# User wenzelm
# Date 906727752 -7200
# Node ID 53c6ea1e6d94e521795f8a597b094d1fd3e02680
# Parent  3613c5d22cc6ed50c2c78b0cf34b2624d028c69c
isatool logo;

diff -r 3613c5d22cc6 -r 53c6ea1e6d94 NEWS
--- a/NEWS	Fri Sep 25 14:47:39 1998 +0200
+++ b/NEWS	Fri Sep 25 14:49:12 1998 +0200
@@ -114,6 +114,8 @@
 * isatool install - install binaries with absolute references to
 ISABELLE_HOME/bin;
 
+* isatool logo -- create instances of the Isabelle logo (as EPS);
+
 * print mode 'emacs' reserved for Isamode;