#/bin/sh

version=`isabelle version`

if [[ $version == *2014 ]]

then

echo "you are using $version"

else if [[ $version == *2012 ]]

then

echo "uninstall your old Isabelle2012 and install Isabelle2014 by"

echo " sudo apt-get remove isabelle"

echo " sudo apt-get install isabelle-installer"

else

echo "possibly install Isabelle2014 by"

echo " sudo apt-get install isabelle-installer"

fi

fi