Mercurial > urweb
log lib/ur/basis.urs
age | author | description |
---|---|---|
Tue, 05 Jan 2010 15:53:35 -0500 | Adam Chlipala | Basis.textBlob; support HTTP requests with no headers |
Thu, 31 Dec 2009 11:41:57 -0500 | Adam Chlipala | Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly |