Lines Matching refs:item
74 \item[AS\_Annotation.der.hs] data types for annotations
75 \item[AnnoState.hs] collecting annotations when parsing
76 \item[Anno\_Parser.hs] actual parsing of annotations
77 \item[CaslLanguage.hs] (unused) parser for CASL mixfix ids based on
79 \item[GlobalAnnotations.hs] data type for global annotations (a
81 \item[GlobalAnnotationsFunctions.hs] conversion to global annotations
82 \item[GraphUtils.hs] no longer used?
83 \item[Id.hs] data types for \texttt{Token} and \texttt{Id}
85 \item[Keywords.hs] most keywords as named identifiers (to be used
87 \item[LaTeX\_funs.hs] utilities for \LaTeX{} printing
88 \item[LaTeX\_maps.hs] generated tables for \LaTeX{} printing
89 \item[Lexer.hs] various scanners and extensions of the Parsec library
90 \item[ListBrackets.hs] parser for list brackets in list annotations
91 \item[Named.hs] encapsulate named sentences
92 \item[PPUtils.hs] pretty printing utilities
93 \item[PrettyPrint.hs] the class for pretty printing
94 \item[Print\_AS\_Annotation.hs] pretty print annotations
95 \item[Result.hs] diagnostics and monadic results
96 \item[RunParsers.hs] reusable test driver
97 \item[Token.hs] generic parser for ids and some keyword parsers
99 \item[Utils.hs] utility functions (inspired by perl)
100 \item[annos.hs] main test program for ids and annotations
101 \item[test\_parser.hs] (unused) test driver for ids and annotations