diff options
| author | Peter Sewell | 2013-06-22 13:45:30 +0100 |
|---|---|---|
| committer | Peter Sewell | 2013-06-22 13:45:30 +0100 |
| commit | 32bb8d65ce4258a085bb676a2e0e675be621cf6e (patch) | |
| tree | 47b44c9ca3eafbe02535bcb4fcd8bdb176bbd12c /README | |
| parent | a3014afbbf493dc2cdc6fc4fb938602c476b5991 (diff) | |
use new Ott aux hom to auto-generate location-annotated rules (to reduce
the noise). More harmonisation of location annotation for identifiers
and of production-name prefixes still needed.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions