Thu, 28 Jan 2010 09:56:08 -0500 |
Adam Chlipala |
First attempt to switch to Automake, to get shared libraries built in OSX |
Tue, 26 Jan 2010 14:59:19 -0500 |
Adam Chlipala |
Handling errors during commit |
Tue, 26 Jan 2010 09:04:55 -0500 |
Adam Chlipala |
Using libtool to build and install liburweb* |
Tue, 12 Jan 2010 09:58:14 -0500 |
Adam Chlipala |
Makefile fix for release |
Thu, 31 Dec 2009 16:12:13 -0500 |
Adam Chlipala |
Change location of dynamic libraries |
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 |
Sun, 27 Dec 2009 13:18:32 -0500 |
Adam Chlipala |
Dynamic linking of the runtime system |
Sun, 27 Dec 2009 10:37:24 -0500 |
Adam Chlipala |
All three current protocols work with move to using uw_app |