Wed, 02 May 2012 17:17:57 -0400 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
Thu, 14 Oct 2010 11:06:26 -0400 |
Adam Chlipala |
Interface for setting memory limits |
Thu, 11 Feb 2010 09:10:01 -0500 |
Adam Chlipala |
sigfile directive |
Thu, 28 Jan 2010 09:56:08 -0500 |
Adam Chlipala |
First attempt to switch to Automake, to get shared libraries built in OSX |
Sun, 27 Dec 2009 14:25:22 -0500 |
Adam Chlipala |
Protocol-specific compiler options |
Sun, 27 Dec 2009 13:18:32 -0500 |
Adam Chlipala |
Dynamic linking of the runtime system |
Sat, 27 Jun 2009 10:50:45 -0400 |
Adam Chlipala |
Avoid using prepared statements for non-persistent protocols |