diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-02-18 08:14:51 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-02-18 08:14:51 -0500 |
| commit | 59fdaa208b834ab2e6e23262405d0e9f4559e9aa (patch) | |
| tree | 00e2185101248df688ef4950df138db16a8c5158 /m4 | |
| parent | 9829a4eeb464cc9430f9c13d3e723492c913bf81 (diff) | |
Update manual to fix lexical table and clarify sequencing notation
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions