Mercurial > urweb
log
age | author | description |
---|---|---|
Tue, 23 Dec 2014 11:23:27 -0500 | Adam Chlipala | Another try at a proper fix for constraint matching in subsignature checking |
Sun, 21 Dec 2014 13:20:11 -0500 | Adam Chlipala | Compatibility fix in header file |
Thu, 18 Dec 2014 07:48:37 -0500 | Adam Chlipala | Fix XML syntax for closing <input> tags |
Sat, 06 Dec 2014 15:45:41 -0500 | Adam Chlipala | Return to working version mode |
Sat, 06 Dec 2014 15:26:56 -0500 | Adam Chlipala | New release |
Fri, 05 Dec 2014 19:41:27 -0500 | Adam Chlipala | Move code from last changeset, to improve performance |