log

age author description
Thu, 20 Nov 2008 10:44:28 -0500 Adam Chlipala Fix missing initial <html> after restarts
Thu, 20 Nov 2008 10:41:58 -0500 Adam Chlipala Update Crud demo to use local functions
Tue, 18 Nov 2008 13:47:23 -0500 Adam Chlipala Extend prose about server .exes
Tue, 18 Nov 2008 13:28:44 -0500 Adam Chlipala Tag CHANGELOG with release number
Tue, 18 Nov 2008 13:27:33 -0500 Adam Chlipala Mention Especialize in CHANGELOG
Tue, 11 Nov 2008 20:24:55 -0500 Adam Chlipala Fix type calculation for applying-a-case optimization
Tue, 11 Nov 2008 19:58:25 -0500 Adam Chlipala Map distributivity rule in hnormCon