alias isabelle="/home/sana/isabelle/Isabelle/bin/isabelle emacs"