log

age author description
Sat, 03 Jan 2009 19:57:02 -0500 Adam Chlipala Feedback from Peter Gammie
Fri, 02 Jan 2009 09:09:35 -0500 Adam Chlipala Typo reported by mulhern; stop publishing to Harvard
Fri, 02 Jan 2009 08:57:25 -0500 Adam Chlipala Small fixes while reading student solutions