History log of /hets/utils/ubuntu-install-isabelle2014.sh
Revision Date Author Comments Expand
177d950f6b3610cd141460cb444c86df9a3ba020 14-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

HOLCF is needed for other Isabelle tools
2a94e24086f8fbe4aae26e779f9c413cd553c7c3 20-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added missing -b flag
0cd656d5e0679f1535cd31f01689bc0603289a7e 20-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

script for installing Isabelle2014 and ProofGeneral under Ubuntu