| Wed, 12 Dec 2012 16:42:15 -0500 |
Adam Chlipala |
Autogenerate some files |
| Tue, 25 Sep 2012 08:16:58 -0400 |
Adam Chlipala |
New release |
| Tue, 07 Aug 2012 09:41:02 -0400 |
Adam Chlipala |
New release |
| Thu, 03 May 2012 10:29:12 -0400 |
Adam Chlipala |
Adaptations to ezyang's patch |
| Wed, 02 May 2012 17:17:57 -0400 |
Edward Z. Yang |
Add support for -boot flag, which allows in-tree execution of Ur/Web |
| Sat, 10 Mar 2012 13:13:15 -0500 |
Adam Chlipala |
New release |
| Wed, 26 Oct 2011 09:10:40 -0400 |
Adam Chlipala |
Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X |
| 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 |
| Fri, 15 Jul 2011 16:50:55 -0400 |
Adam Chlipala |
Generated pretty-printed HTML for a simple tutorial source file |
| 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, 15 May 2011 17:20:08 -0400 |
Adam Chlipala |
Grandfather into release: Use latest Debian testing autotools, etc. |
| Sun, 26 Dec 2010 11:13:37 -0500 |
Adam Chlipala |
Switch from libmhash to OpenSSL |
