--- a/NEWS Fri Aug 28 14:59:34 1998 +0200 +++ b/NEWS Fri Aug 28 15:01:13 1998 +0200 @@ -100,6 +100,8 @@ * isatool install - install binaries with absolute references to ISABELLE_HOME/bin; +* print mode 'emacs' reserved for Isamode; + *** HOL ***