#!/bin/bash
set -e

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

if [[ "$version" == *2014 ]]; then 
  echo "you are using $version"
elif [[ "$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
#DEBHELPER#