2002-12-18  Hendrik Tews  <tews@ithif51>

	* minor fixes in loop-compile
	* make ccsl-mode directly calling loop-setup-ccsl, so the hooks
	are not necessary for ccsl uses.

1999.09.13
- The menu structure has changed. A menu "Loop" has been added to
  the menubar, which contains menu items to invoke the Loop Compiler
  and PVS typecheck. These menu items were removed from the "CCSL" menu.
  In `java mode' the menu "Loop" replaces "Java Mode Commands".
- The menu item "Compiler Options" has been changed to reflect
  the options that are valid for the Loop Compiler version 2.
  Also the user settable variables have changed. See ".emacs.el".
  The Loop compiler now detect the language by the extension of
  the filename, this implied the removal of the "-j" option.
- The pvs context is now switched to the directory of the file
  edited in the current buffer, at least when no output directory
  is specified. In the previous version the startup directory was the
  pvs context directory.
- A bug causing a "PVS typecheck" when only the "Compile" command was
  issued was removed. The `compilation-finish-function' variable was
  not reset after the "Compile Typecheck" command.
- Another bug is (probably) identified: When issuing a "Typecheck"
  command from the "Loop" menu, The current buffer is scanned
  for class-like items, also items that are commented out....
  This causes an error during PVS typecheck.
  (Hendrik: Is there a nice solution for this?
   `re-search-forward-ignoring-comments' does not seem to work)

1999.01.13
- Underscores are now allowed in Class names.
  Also fixed for ADT and CLASSSPEC names in CCSL.
- Disabled recognition of warnings in compile buffer
  which disabled typechecking in `loop-compile-typecheck'.
- Setting up `autoload'ing of "loop-compile.el" instead
  of `require loop-compile' in the file ".emacs.el".
  How to do this is shown in ".emacs.el"
  Removed a `require loop-compile' from "ccsl-mode.el".
- Cleaned up ".emacs.el" example file.
  Removed the "Options Menu Settings" for xemacs.
  In the "Examples of user definable variables" section
  all user definable variables are provided but are commented
  by default.
- Changed the example installation path from "~/loop"
  to "~/Emacs".
- Added the compiler option "-1" the the "Loop Compile Options"
  menu.
	
