Emacs mode

From Ontohub

Revision as of 06:36, 16 August 2016 by Tillmo (talk | contribs) (running Hets)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

Download dol-mode.el and dol.el and save them locally (e.g. in .emacs.d, or elsehwere)
in the .emacs file in your home folder, add

 (load-file "<path-to>/dol.el")

For running Hets on a DOL file, type C-c C-r
For running Hets on a DOL file and starting the GUI, type C-c C-c

Retrieved from "http://wiki.dol-omg.org/index.php?title=Emacs_mode&oldid=267"