--- 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;