Thu, 21 Nov 2013 14:36:57 -0500 |
Adam Chlipala |
Regenerate Makefile.in |
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 |