* print mode 'emacs' reserved for Isamode;
authorwenzelm
Fri Aug 28 15:01:13 1998 +0200 (1998-08-28)
changeset 5407b450fea6d70c
parent 5406 83e1e2dadcca
child 5408 0a0a35dddabd
* print mode 'emacs' reserved for Isamode;
NEWS
     1.1 --- a/NEWS	Fri Aug 28 14:59:34 1998 +0200
     1.2 +++ b/NEWS	Fri Aug 28 15:01:13 1998 +0200
     1.3 @@ -100,6 +100,8 @@
     1.4  * isatool install - install binaries with absolute references to
     1.5  ISABELLE_HOME/bin;
     1.6  
     1.7 +* print mode 'emacs' reserved for Isamode;
     1.8 +
     1.9  
    1.10  *** HOL ***
    1.11