The LaTeX formatter Makellos is availabe within the CASL tool set (CATS). It converts the specification(s) to LaTeX code depending on the file casl.sty, version 1.3 (see CoFI note C-2 for details). It does not yet format architectural specifications and semantic annotations. The line breaking in operation, predicate and datatype declarations is not optimal for now.