1.1 --- a/INSTALL Fri Jul 01 14:22:33 2005 +0200
1.2 +++ b/INSTALL Fri Jul 01 14:41:57 2005 +0200
1.3 @@ -87,25 +87,4 @@
1.4 /usr/local/bin).
1.5
1.6
1.7 -Isabelle as KDE application
1.8 ----------------------------
1.9 -
1.10 -Users may install an Isabelle application icon on the KDE desktop as
1.11 -follows:
1.12 -
1.13 - [ISABELLE_HOME]/bin/isatool install -k 1
1.14 -
1.15 -This will install the KDE icon in ~/.kde
1.16 -
1.17 - [ISABELLE_HOME]/bin/isatool install -k 2
1.18 -
1.19 -does the same, but in ~/.kde2
1.20 -
1.21 -Clicking on Isabelle will invoke the interface wrapper script (capital
1.22 -Isabelle), which is usually configured to run Proof General (cf. the
1.23 -ISABELLE_INTERFACE setting). Additional options may be passed to
1.24 -Isabelle by editing the application's command line using the standard
1.25 -KDE properties editing facilities.
1.26 -
1.27 -
1.28 $Id$
2.1 --- a/doc-src/System/misc.tex Fri Jul 01 14:22:33 2005 +0200
2.2 +++ b/doc-src/System/misc.tex Fri Jul 01 14:41:57 2005 +0200
2.3 @@ -160,8 +160,6 @@
2.4 Options are:
2.5 -d DISTDIR use DISTDIR as Isabelle distribution
2.6 (default ISABELLE_HOME)
2.7 - -k VERSION install KDE application icon on desktop
2.8 - (for KDE VERSION 1 or 2)
2.9 -p DIR install standalone binaries in DIR
2.10
2.11 Install Isabelle executables with absolute references to the current
2.12 @@ -179,10 +177,6 @@
2.13 note that a plain manual copy of the original Isabelle executables just would
2.14 not work!
2.15
2.16 -The \texttt{-k} option creates an Isabelle application object for the popular
2.17 -\textsl{K~Desktop Environment} (KDE)\index{KDE}, either for version 1 or 2.
2.18 -The icon will appear directly on the desktop.
2.19 -
2.20
2.21 \section{Creating instances of the Isabelle logo --- \texttt{isatool
2.22 logo}}
3.1 --- a/lib/Tools/install Fri Jul 01 14:22:33 2005 +0200
3.2 +++ b/lib/Tools/install Fri Jul 01 14:41:57 2005 +0200
3.3 @@ -16,8 +16,6 @@
3.4 echo " Options are:"
3.5 echo " -d DISTDIR refer to DISTDIR as Isabelle distribution"
3.6 echo " (default ISABELLE_HOME)"
3.7 - echo " -k VERSION install KDE application icon on desktop"
3.8 - echo " (for KDE VERSION 1 or 2)"
3.9 echo " -p DIR install standalone binaries in DIR"
3.10 echo
3.11 echo " Install Isabelle executables with absolute references to the current"
3.12 @@ -40,19 +38,15 @@
3.13 NO_OPTS=true
3.14
3.15 DISTDIR="$ISABELLE_HOME"
3.16 -KDE=""
3.17 BINDIR=""
3.18
3.19 -while getopts "d:k:p:" OPT
3.20 +while getopts "d:p:" OPT
3.21 do
3.22 NO_OPTS=""
3.23 case "$OPT" in
3.24 d)
3.25 DISTDIR="$OPTARG"
3.26 ;;
3.27 - k)
3.28 - KDE="$OPTARG"
3.29 - ;;
3.30 p)
3.31 BINDIR="$OPTARG"
3.32 ;;
3.33 @@ -112,42 +106,3 @@
3.34 chmod +x "$BIN"
3.35 done
3.36 fi
3.37 -
3.38 -
3.39 -# install KDE 1.x / 2.x application icon
3.40 -
3.41 -if [ -n "$KDE" ]; then
3.42 - if [ "$KDE" = 1 ]; then
3.43 - KDEHOME=~/.kde
3.44 - KDEDESKTOP=~/Desktop
3.45 - KDEAPP="$KDEDESKTOP/Isabelle.kdelnk"
3.46 - elif [ "$KDE" = 2 ]; then
3.47 - KDEHOME=~/.kde2
3.48 - KDEDESKTOP=~/KDesktop
3.49 - KDEAPP="$KDEDESKTOP/Isabelle.desktop"
3.50 - else
3.51 - fail "Unknown KDE version \"$KDE\""
3.52 - fi
3.53 - mkdir -p "$KDEDESKTOP" || fail "Bad directory: $KDEDESKTOP"
3.54 -
3.55 - KDEICONS="$KDEHOME/share/icons"
3.56 - mkdir -p "$KDEICONS" || fail "Bad directory: $KDEICONS"
3.57 - mkdir -p "$KDEICONS/mini" || fail "Bad directory: $KDEICONS/mini"
3.58 -
3.59 - [ -f "$KDEICONS/isabelle.xpm" ] || cp "$ISABELLE_HOME/lib/icons/isabelle.xpm" "$KDEICONS" || \
3.60 - fail "Cannot write file: $KDEICONS/isabelle.xpm"
3.61 - [ -f "$KDEICONS/mini/isabelle.xpm" ] || \
3.62 - cp "$ISABELLE_HOME/lib/icons/isabelle-mini.xpm" "$KDEICONS/mini/isabelle.xpm" || \
3.63 - fail "Cannot write file: $KDEICONS/mini/isabelle.xpm"
3.64 -
3.65 - echo "installing $KDEAPP"
3.66 - echo "# KDE Config File" > "$KDEAPP" || fail "Cannot write file: $KDEAPP"
3.67 - echo "[KDE Desktop Entry]" >> "$KDEAPP"
3.68 - echo "Type=Application" >> "$KDEAPP"
3.69 - echo "Exec=\"$DISTDIR/bin/isabelle-interface\" %f" >> "$KDEAPP"
3.70 - echo "Icon=isabelle.xpm" >> "$KDEAPP"
3.71 - echo "TerminalOptions=" >> "$KDEAPP"
3.72 - echo "Path=" >> "$KDEAPP"
3.73 - echo "Terminal=0" >> "$KDEAPP"
3.74 - echo "Name=Isabelle" >> "$KDEAPP"
3.75 -fi