http://wiki.dol-omg.org/index.php?title=Emacs_mode&feed=atom&action=history
Emacs mode - Revision history
2024-03-28T21:47:30Z
Revision history for this page on the wiki
MediaWiki 1.27.4
http://wiki.dol-omg.org/index.php?title=Emacs_mode&diff=267&oldid=prev
Tillmo: running Hets
2016-08-16T06:36:10Z
<p>running Hets</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='en'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 06:36, 16 August 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2" >Line 2:</td>
<td colspan="2" class="diff-lineno">Line 2:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* in the .emacs file in your home folder, add</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* in the .emacs file in your home folder, add</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>   (load-file "<path-to>/dol.el")</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>   (load-file "<path-to>/dol.el")</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* For running Hets on a DOL file, type C-c C-r</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* For running Hets on a DOL file and starting the GUI, type C-c C-c</ins></div></td></tr>
</table>
Tillmo
http://wiki.dol-omg.org/index.php?title=Emacs_mode&diff=266&oldid=prev
Tillmo: instructions for emacs mode
2016-08-16T06:18:05Z
<p>instructions for emacs mode</p>
<p><b>New page</b></p><div>* Download [https://raw.githubusercontent.com/spechub/Hets/f93990c928a2b0b8f970b86d0fbd18d604147af6/utils/el/dol-mode.el dol-mode.el] and [https://raw.githubusercontent.com/spechub/Hets/f93990c928a2b0b8f970b86d0fbd18d604147af6/utils/el/dol.el dol.el] and save them locally (e.g. in .emacs.d, or elsehwere)<br />
* in the .emacs file in your home folder, add<br />
(load-file "<path-to>/dol.el")</div>
Tillmo