Emacs mode

From Ontohub
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