b95472e52d623ff18295b2430d555f82c1a4051acmaeder#/bin/sh

b95472e52d623ff18295b2430d555f82c1a4051acmaeder

b95472e52d623ff18295b2430d555f82c1a4051acmaederversion=`isabelle version`

b95472e52d623ff18295b2430d555f82c1a4051acmaeder

b95472e52d623ff18295b2430d555f82c1a4051acmaederif [[ $version == *2014 ]]

b95472e52d623ff18295b2430d555f82c1a4051acmaeder then

b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo "you are using $version"

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

b95472e52d623ff18295b2430d555f82c1a4051acmaeder then

b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo "uninstall your old Isabelle2012 and install Isabelle2014 by"

b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo " sudo apt-get remove isabelle"

b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo " sudo apt-get install isabelle-installer"

b95472e52d623ff18295b2430d555f82c1a4051acmaeder else

b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo "possibly install Isabelle2014 by"

b95472e52d623ff18295b2430d555f82c1a4051acmaeder echo " sudo apt-get install isabelle-installer"

b95472e52d623ff18295b2430d555f82c1a4051acmaeder fi

b95472e52d623ff18295b2430d555f82c1a4051acmaederfi