improved isatool install;

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