0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederwget http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/$ISABELLE_TGZ -O - \
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaedersed -i~ '128iinit_component \"\$ISABELLE_HOME/contrib/ProofGeneral-4.2-2\"' \
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederecho "creating uninstall script: $ISABELLE_UNINST"
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederif [[ $EUID -ne 0 ]]; then
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaeder echo "This script must be run as root" 1>&2
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederrm -rf $ISABELLE_DIR
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederrm /usr/bin/isabelle
0cd656d5e0679f1535cd31f01689bc0603289a7ecmaederrm /usr/bin/isabelle_*