# HG changeset patch
# User wenzelm
# Date 923999711 -7200
# Node ID 9d2123268db69ea2adb48803a45af6dc860c9604
# Parent  d1bbea22217b66d3ad353a6b4bca9fd49f6499c8
improved isatool install;

diff -r d1bbea22217b -r 9d2123268db6 NEWS
--- a/NEWS	Tue Apr 13 10:34:30 1999 +0200
+++ b/NEWS	Tue Apr 13 12:35:11 1999 +0200
@@ -45,6 +45,9 @@
 * new flag show_tags controls display of tags of theorems (which are
 basically just comments that may be attached by some tools);
 
+* improved isatool install: -k creates KDE application icon, -p DIR
+installs binaries in path;
+
 * added ML_PLATFORM setting (useful for cross-platform installations);