Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ott-preamble.sed | 2008-02-16 14:40 | 137 | ||
ott-spec.ltx | 2008-02-16 14:40 | 2.8K | ||
README | 2008-02-16 14:40 | 2.9K | ||
Makefile | 2008-02-16 14:40 | 7.1K | ||
reduction.ott | 2008-02-16 14:40 | 26K | ||
typing.ott | 2008-02-16 14:40 | 45K | ||
syntax.ott | 2008-02-16 14:40 | 78K | ||