--- a/lib/Tools/install Tue Sep 19 23:50:43 2000 +0200
+++ b/lib/Tools/install Tue Sep 19 23:51:00 2000 +0200
@@ -125,5 +125,5 @@
echo "Terminal=0" >> "$KDEAPP"
echo "Name=Isabelle" >> "$KDEAPP"
- echo "Please refresh your KDE now!"
+ echo "Please refresh your KDE desktop now!"
fi