Index of types
Index of exceptions
Index of values
Index of class attributes
Index of class methods
Index of classes
Index of modules


Chqcla
Checker for classifications (.cla)
Chqcomm
Common to several checkers.
Chqdef
Checker for a file with definitions (.def)
Chqprd
Checker for progress in definitions (.prd)
Chqsec
Checker for sequences.
Cmd
Command line interface for some programs of Structio.
Confv
Configuration variables.
Defprog
Data structure for definitions with progress.
Edcla
Allows to add or delete a classification from a .cla file.
Edsec
Allows to add or delete a sequence in a .sec file.
Intprom
Interpreter of prom.
Lrepasa
Library of functions for repasa.
Prom
Interpreter of "prom".
Prom_lexer
To facilitate string parcing
Prom_parser
Repasa
Plain interface to review definitions of repasa
Repchq
Checker for XMLs files for repasa
Txtint
Helps to create textual interfaces.