561N/A#/bin/sh

561N/A

561N/Aversion=`isabelle version`

561N/A

561N/Aif [[ $version == *2014 ]]

561N/A then

561N/A echo "you are using $version"

561N/Aelse if [[ $version == *2012 ]]

561N/A then

561N/A echo "uninstall your old Isabelle2012 and install Isabelle2014 by"

561N/A echo " sudo apt-get remove isabelle"

561N/A echo " sudo apt-get install isabelle-installer"

561N/A else

561N/A echo "possibly install Isabelle2014 by"

561N/A echo " sudo apt-get install isabelle-installer"

561N/A fi

561N/Afi

561N/A