log demo/prose

age author description
2008-10-21 Adam Chlipala Sum prose
2008-10-21 Adam Chlipala Sql demo
2008-10-21 Adam Chlipala Note about demo.sql
2008-10-21 Adam Chlipala ListShop prose
2008-10-21 Adam Chlipala Rec demo
2008-10-21 Adam Chlipala Form example
2008-10-21 Adam Chlipala Hello prose
2008-10-21 Adam Chlipala Intro prose
2008-10-21 Adam Chlipala New implicit argument handling
2008-10-19 Adam Chlipala Demo HTML generation, minus source code