log

age author description
Sun, 20 Mar 2011 13:47:39 -0400 Adam Chlipala '--without-emacs' configure option
Sun, 20 Mar 2011 13:15:11 -0400 Adam Chlipala Fix C compilation of empty records; use DESTDIR in 'make install/uninstall'
Fri, 18 Mar 2011 21:01:10 -0400 Adam Chlipala Fix 'readUtc' to work during DST