f30ee734ac0ee8b792c77ab3bc42494fcddb1508hajma#/bin/bash

f30ee734ac0ee8b792c77ab3bc42494fcddb1508hajmaset -e

d550ed97bd4eb1658565af49c77579295d60c46ahajma

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

f30ee734ac0ee8b792c77ab3bc42494fcddb1508hajma

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#