{default}index_e.htm{/default}
{title}An emacs mode for CASL specifications{/title}
{shorttitle}emacs casl-mode{/shorttitle}
{author}luettich{/author} 
{text}
<h3>GNU emacs mode for editing (Het)CASL specifications</h3>

The casl-mode provided <a href="casl_el.tar.gz">here</a>
enables syntax highlighting, indentation and analysis (via an installed
<a href="../index_e.htm">hets</a>)
of <a href="http://www.cofi.info/CASL.html">(Het)CASL</a>
specifications. It is also included in the new installers
found <a href="../installation_e.htm">here</a>.

<p><b>Note:</b> This casl-mode has been only tested
on <a href="http://www.gnu.org/software/emacs/">GNU emacs</a> 21.x.x
and 22.x.x. Other emacs versions are not supported.
</p>

<p>This casl-mode is provided under the
  same <a href="../LICENSE.txt">license</a> (also in <a href="../LIZENZ.txt">
  German</a>) as hets.</p>

<p>The emacs mode is loaded by adding the following to your <tt>.emacs</tt> file,
provided all three <tt>casl*.el</tt> files are kept in one directory (<tt>casl_el</tt>
in the example):</p>
<p><tt>(load-file "<path-to-here>/casl_el/casl.el")</tt></p>
<p>
Afterwards the casl-mode is loaded for files ending with "<tt>.het</tt>" and
"<tt>.casl</tt>" automatically.
</p>

<h3>Running hets from the emacs mode</h3>
<p>

If you do not have the hets binary in your PATH environment variable
and not in one of the recognized paths, you may set (after loading
<tt>casl.el</tt>) the path to your hets binary with the following line
in your
<tt>.emacs</tt> file or interactively for the current session
via <tt>M-x set-variable</tt>:</p>

<p><tt>(setq hets-program "~/bin/hets")</tt></p>
<p>
The following keycodes are available for checking CASL files from
within GNU emacs:
<dl>
<dt><tt>C-c C-r</tt></dt><dd> runs hets with static analysis</dd>
<dt><tt>C-c C-g</tt></dt><dd> runs hets with static analysis and
    graphical user interface (GUI)</dd>
<dt><tt>C-c C-n</tt></dt><dd> steps through the errors if any</dd>
</dl>
</p>
<p>
Further information may be obtained from the
<a href="README">README</a> file, which is also distributed with the
casl-mode.
</p>
Please contact for bug reports,
comments and any other
requests the <a
	    href="mailto:hets-users(AT)informatik.uni-bremen.de">hets-users</a>
mailing list.
{/text}