| Wed, 02 May 2012 17:17:57 -0400 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
| Tue, 10 Jan 2012 17:38:00 -0500 |
Adam Chlipala |
Make Ubuntu linking patch more general |
| Mon, 09 Jan 2012 08:38:53 -0500 |
Adam Chlipala |
Revert ax_check_openssl.m4 and instead compensate for Ubuntu weirdness in config.sml |
| Thu, 04 Aug 2011 17:06:50 -0400 |
Adam Chlipala |
Configure correct C compiler options for Pthreads |
| Tue, 02 Aug 2011 14:45:19 -0400 |
Adam Chlipala |
Remove some GCC-specific identifier choice and documentation |
| Tue, 02 Aug 2011 13:33:38 -0400 |
Adam Chlipala |
Tracking and printing of version numbers (based on a patch by Austin Seipp) |
| Fri, 17 Jun 2011 11:52:56 -0400 |
Adam Chlipala |
Fixes to work nicely with OS X and Clang (thanks to Austin Seipp) |
| Sun, 29 May 2011 13:31:53 -0400 |
Adam Chlipala |
Configuration detects proper header files for database dev libraries |
| Sun, 26 Dec 2010 11:13:37 -0500 |
Adam Chlipala |
Switch from libmhash to OpenSSL |
| Thu, 18 Nov 2010 14:22:04 -0500 |
Adam Chlipala |
Karn Kallio's patch for static mhash linking |
| Sat, 20 Dec 2008 16:19:26 -0500 |
Adam Chlipala |
Successfully generated a page element from a signal |
| Tue, 28 Oct 2008 15:05:16 -0400 |
Adam Chlipala |
GCCARGS configure option |
| Sun, 19 Oct 2008 12:47:10 -0400 |
Adam Chlipala |
Proper configuration and installation |
