;;;   README --- general information

;; Copyright (C) 1998 KUN.

;; Authors:     1998 Wim Janssen KUN (wim@cs.kun.nl)
;; Created:     1998/09/22
;; Version:     0.4
;; Modified:    1999/09/13
;; Keywords:    Unix languages

;; This file is part of LOOP.

;; LOOP stands for Logic for Object-Oriented Programming

Installation
============

This package provides a major mode for editing ccsl. It knows about
ccsl syntax, indentation, comments and fontifying.
It also provides the `loop-compile' extension to ccsl and java and
offers some options for the loop-compiler.

To setup `ccsl-mode' and `loop-compile' put the files `ccsl-mode.el'
and `loop-compile.el' in the directory `site-lisp' or put them in some
directory and extend the `load-path' by adding the following lines to
your `.emacs' file. The directory `~/Emacs/' is used in te sample code.

  ;; Extend `load-path' for `ccsl-mode' and `loop-compile' packages.
  (setq load-path
    (cons (concat (expand-file-name "~") "/Emacs/") load-path))

Now setup for `autoloading' `ccsl-mode'.

  ;; Setup autoloading the `ccsl-mode'.
  (setq auto-mode-alist
    (cons '("\\.beh\\'" . ccsl-mode) auto-mode-alist))

  (autoload 'ccsl-mode "ccsl-mode"
    "Major mode for editing ccsl." t nil)

If you want to use loop-compile in combination with java-mode add
the following lines

  (add-hook 'java-mode-hook 'loop-setup-java)
  (autoload 'loop-setup-java "loop-compile")

You can preset some user definable variables in your `.emacs' file.
(Currently just one variable for `ccsl-mode')

  ;; Examples of user definable variables.

  ;; From `ccsl-mode.el'.
  ;;
  ;; The comment style used in `ccsl-mode' buffers.
  ;; Chooose between 'pvs or 'ml, default is 'pvs.
  (setq ccsl-comment-style 'ml)

  ;; From `loop-compile.el'.
  ;;
  ;; The file name of the loop-compiler.
  ;; Default is "run"
  (setq loop-compiler "~/bin/run")
  ;;
  ;; The output directory used by the loop-compiler.
  ;; Default is nil
  (setq loop-output-directory "~/output/")

Upgrade to version 0.4
=======
Some files in this little package have changed, 
you will have to replace the files:
  "loop-compile.el"

In Your "~/.emacs" file replace the section to setup
this package with the new ".emacs.el" file and adapt
the "user definable variables".

Upgrade to version 0.3
=======
The example installation path has changed from
"~/loop" to "~/Emacs".

All files in this little package have changed, 
you will have to replace the files:
  "ccsl-mode.el"

In Your "~/.emacs" file replace the section to setup
this package with the new ".emacs.el" file and adapt
the "user definable variables".

Good luck,
Wim.
