log

age author description
Tue, 05 May 2009 11:59:50 -0400 Adam Chlipala Revising manual through end of Section 6
Tue, 05 May 2009 11:45:03 -0400 Adam Chlipala Revising manual through end of Section 3
Tue, 05 May 2009 10:23:16 -0400 Adam Chlipala Make Effectize more precise
Sun, 03 May 2009 16:00:43 -0400 Adam Chlipala crud3 demo