Mercurial > urweb
log
age | author | description |
---|---|---|
Thu, 30 Sep 2010 18:29:59 -0400 | Adam Chlipala | Demo improvements |
Thu, 30 Sep 2010 18:12:04 -0400 | Adam Chlipala | Mention empty-third-field 'rewrite' directives |
Thu, 16 Sep 2010 15:34:50 -0400 | Adam Chlipala | Fix typing of cut operators; fix lexing of XML comments |