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