log

age author description
Sat, 23 Jun 2012 09:58:31 -0400 Adam Chlipala Regenerate Autotools files myself with Ron's patch
Sun, 17 Jun 2012 20:41:54 +0200 Ron de Bruijn Parallel builds