66 done
67
68 CMDS="$CMDS -f isabelle"
69
70
71 $ISAMODE_EMACS -T "Isabelle" -geometry $MAINGEOM $CMDS
71 exec $ISAMODE_EMACS -T "Isabelle" -geometry $MAINGEOM $CMDS