This is a grammar for the software specification language Z written in
PRECC. It's current about '95, '96. The IEEE standard still hasn't
come out at time of writing, but this grammar is based on Mike Spivey's Z
Reference Manual.

The parser doesn't actually bother to build a tree, but it does treat
the whole language. The lexer part prints out lexemes as it goes.
For fun, try defining DEBUG in one of the scripts or C files. It'll
demonstrate the PRECC 2.43/44 built-in debugging aid.

Using the version of yystuff.c here lets one use \\ at the end of a
line, as one tends to do in Z, seeing as it's concretely just LaTeX.
I.e. this yystuff.c contains an input feed that doesn't eat escaped
newlines the way the standard one does.

Peter T. Breuer
