#/bin/bash

set -e

version=`isabelle version 2>/dev/null || exit 0`

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

#DEBHELPER#