Thu, 31 Dec 2009 18:07:53 -0500 |
Adam Chlipala |
Eta-expand bodies of transaction functions in Monoization, to enable later optimization |
Thu, 31 Dec 2009 16:12:13 -0500 |
Adam Chlipala |
Change location of dynamic libraries |
Thu, 31 Dec 2009 15:14:24 -0500 |
Adam Chlipala |
Protect against NULL applications in a few places |
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 |
Wed, 30 Dec 2009 09:52:18 -0500 |
Adam Chlipala |
New release |
Wed, 30 Dec 2009 09:48:32 -0500 |
Adam Chlipala |
Update manual's description of implicit arguments |
Tue, 29 Dec 2009 16:48:27 -0500 |
Adam Chlipala |
Treat getCookie as effectful |
Tue, 29 Dec 2009 15:03:44 -0500 |
Adam Chlipala |
Test case for character code escapes |