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