# HG changeset patch
# User wenzelm
# Date 904309273 -7200
# Node ID b450fea6d70cd268a81495852d46226f560096d8
# Parent  83e1e2dadcca4d0653d30e400fcb23a2c2287219
* print mode 'emacs' reserved for Isamode;

diff -r 83e1e2dadcca -r b450fea6d70c NEWS
--- 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 ***