Mercurial > urweb
log
age | author | description |
---|---|---|
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 |