This manual explains the SeText language. Topics discussed here are:
SeText lexical syntax
Specifying lexical syntax using SeText
Regular expressions
Terminal descriptions
Imports
Scanner hooks
Specifying grammars using SeText
Parser hooks
Usage hints
Generated scanners/parsers