Searched refs:ISABELLE_UNINST (Results 1 - 1 of 1) sorted by relevance

/hets/utils/
H A Dubuntu-install-isabelle2014.sh21 ISABELLE_UNINST=/usr/bin/isabelle_uninstall.sh
23 echo "creating uninstall script: $ISABELLE_UNINST"
25 cat > $ISABELLE_UNINST <<EOF
36 chmod a+x $ISABELLE_UNINST

Completed in 700 milliseconds