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 |