Difference between revisions of "Emacs mode"

From Ontohub
Jump to: navigation, search
(instructions for emacs mode)
 
(running Hets)
 
Line 2: Line 2:
 
* in the .emacs file in your home folder, add
 
* in the .emacs file in your home folder, add
 
   (load-file "<path-to>/dol.el")
 
   (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

Latest revision as of 06:36, 16 August 2016

  • 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