lib/scripts/isa-emacs
changeset 2390 4e183a4d9cd0
parent 2344 c3e1eaea4418
child 2474 9990f088d7ac
equal deleted inserted replaced
2389:d472c732bc21 2390:4e183a4d9cd0
    16 }
    16 }
    17 
    17 
    18 
    18 
    19 ## main
    19 ## main
    20 
    20 
    21 exec emacs -name "isabelle" -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$HOME/.emacs" -l "$ISAMODE_HOME/elisp/isa-start.el"
    21 exec emacs -name "isabelle" $ISABELLE_INTERFACE_OPTIONS -l "$ISAMODE_HOME/elisp/isa-site.el" -l "$ISABELLE_HOME_USER/etc/isa-settings.el" -l "$ISAMODE_HOME/elisp/isa-start.el"