This README belongs to the casl-mode for GNU emacs and XEmacs,

which consists of three emacs lisp files (casl.el, casl-mode.el and

casl-indent.el) and it may be redistributed under the terms of the

LICENCE.txt also found in this distribution.

The Copyright of this emacs mode is held by the University of Bremen,

Germany, Klaus Luettich and Heng Jiang. Please contact for bug reports,

comments and any other requests <hets-devel@informatik.uni-bremen.de>.

This emacs mode provides syntax highlighting, indentation and analysis

via hets for CASL and HetCASL specifications.

The emacs mode is loaded by adding the following to your .emacs file for

GNU emacs and ~/.xemacs/custom.el for XEmacs, provided all three casl*.el

files are kept in one directory (casl_el in the example):

(load-file "<path-to-here>/casl_el/casl.el")

Afterwards the casl-mode is loaded for files ending with ".het" and

".casl" automatically.

Running hets from the emacs mode:

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

casl.el) the path to your hets binary with the following line in your

.emacs file or interactively for the current session via M-x

set-variable:

(setq hets-program "~/bin/hets")

If you don't set the variable explicitly the directories

"<path-to-here>/casl_el/../.."

and

"<path-to-here>/casl_el/../../bin"

are searched for an executable called hets.

The following keycodes are available for checking CASL files from

within GNU emacs:

C-c C-r runs hets with static analysis

C-c C-c runs hets with static analysis and graphical user interface (GUI)

C-c C-n steps through the errors if any

Furthermore, you can set (also interactively with M-x set-variable)

the variable "casl-hets-options" to a string of hets command-line

arguments like this:

(setq casl-hets-options "-v2 -o prf")

The string of additional options is initially empty and it is

recognized by both functions starting hets, with and without GUI.