Lines Matching defs:for
8 \title{Common infrastructure for the CASL language family}
16 see the documentation for HetCATS
18 \section{Commonalities for all CASL extensions}
24 provided for.
52 an error message for every line.
74 \item[AS\_Annotation.der.hs] data types for annotations
77 \item[CaslLanguage.hs] (unused) parser for CASL mixfix ids based on
79 \item[GlobalAnnotations.hs] data type for global annotations (a
83 \item[Id.hs] data types for \texttt{Token} and \texttt{Id}
86 for parsing and printing and thus ensuring consistent spellings)
87 \item[LaTeX\_funs.hs] utilities for \LaTeX{} printing
88 \item[LaTeX\_maps.hs] generated tables for \LaTeX{} printing
90 \item[ListBrackets.hs] parser for list brackets in list annotations
93 \item[PrettyPrint.hs] the class for pretty printing
97 \item[Token.hs] generic parser for ids and some keyword parsers
100 \item[annos.hs] main test program for ids and annotations
101 \item[test\_parser.hs] (unused) test driver for ids and annotations