Formatting CASL Specifications Using LaTeX

Peter D. Mosses¹

30 November 1998

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.

Abstract

This note provides guidelines for the use of the CASL package with LaTeX for formatting CASL specifications.

To use the CASL package:

1. Copy the file casl.sty from ftp://ftp.brics.dk/Projects/CoFI/Formatting/CASL/.
    
2. Insert \usepackage{casl} in the preamble of the LaTeX document.
    
3. Add the commands provided by the CASL package to the CASL specifications, to indicate their structure and alignment, as described and illustrated in this note.