536N/A#/bin/sh

536N/A

536N/Aversion=`isabelle version`

536N/A

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

536N/A then

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

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

919N/A then

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

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

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

919N/A else

919N/A echo "possibly install Isabelle2014 by"

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

919N/A fi

919N/Afi

919N/A