NEWS
changeset 5572 53c6ea1e6d94
parent 5541 f8fb27db4bcd
child 5650 38bda28c68a2
     1.1 --- a/NEWS	Fri Sep 25 14:47:39 1998 +0200
     1.2 +++ b/NEWS	Fri Sep 25 14:49:12 1998 +0200
     1.3 @@ -114,6 +114,8 @@
     1.4  * isatool install - install binaries with absolute references to
     1.5  ISABELLE_HOME/bin;
     1.6  
     1.7 +* isatool logo -- create instances of the Isabelle logo (as EPS);
     1.8 +
     1.9  * print mode 'emacs' reserved for Isamode;
    1.10  
    1.11