log configure

age author description
Thu, 17 Nov 2011 17:14:44 +0100 Ron de Bruijn Add read instance for time on the client
Sat, 17 Sep 2011 13:10:20 -0400 Adam Chlipala Return to working version mode
Sat, 17 Sep 2011 13:03:17 -0400 Adam Chlipala New release
Thu, 04 Aug 2011 17:06:50 -0400 Adam Chlipala Configure correct C compiler options for Pthreads