log

age author description
Sat, 29 Sep 2012 10:34:11 -0400 Adam Chlipala Simplify Reddit example moredefault tip
Sat, 29 Sep 2012 10:32:44 -0400 Adam Chlipala Simplify Reddit example
Sat, 29 Sep 2012 10:30:00 -0400 Adam Chlipala tagAOR and a Reddit example of using it
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
Wed, 26 Oct 2011 09:12:37 -0400 Adam Chlipala Upgrade ltmain.sh
Wed, 26 Oct 2011 09:11:22 -0400 Adam Chlipala Check in aclocal.m4