Mercurial > urweb
log doc/manual.tex
age | author | description |
---|---|---|
Sat, 18 Feb 2012 08:14:51 -0500 | Adam Chlipala | Update manual to fix lexical table and clarify sequencing notation |
age | author | description |
---|---|---|
Sat, 18 Feb 2012 08:14:51 -0500 | Adam Chlipala | Update manual to fix lexical table and clarify sequencing notation |