Difference between revisions of "Emacs mode"
From Ontohub
(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