log

age author description
Tue, 05 May 2009 12:49:16 -0400 Adam Chlipala Table constraint Ur code
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
Sun, 03 May 2009 15:53:29 -0400 Adam Chlipala subforms demo
Sun, 03 May 2009 15:38:49 -0400 Adam Chlipala cookieSec demo