Go backward to References
Go up to Top
Go forward to B Abstract Commands
A CASL Mark-Up: Quick Reference
\(...\) \math{...}
use in text mode to enclose math mode (avoid explicit use of $...$)
\text{...}
use in math mode to enclose text mode
\samepagetrue \samepagefalse \samepage \pagebreak
use to control where page breaks occur in specifications
CoFI
Note: C-2 -- Version: 0.3 (for CASL v1.0) -- 30 November 1998.
Comments to mosses@csl.sri.com