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