Mercurial > urweb
log
age | author | description |
---|---|---|
Sun, 01 Nov 2015 14:17:09 -0500 | Adam Chlipala | JavaScript versions of a few more functions |
Sun, 01 Nov 2015 12:23:44 -0500 | Adam Chlipala | Better client-side error messages for RPC failures |
Sun, 01 Nov 2015 11:55:01 -0500 | Adam Chlipala | Basis.fromMilliseconds |