log demo/prose

age author description
2008-11-20 Adam Chlipala Fixing demo prose
2008-11-20 Adam Chlipala Some demo improvements
2008-11-18 Adam Chlipala Extend prose about server .exes
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-11-06 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
2008-11-04 Adam Chlipala Nested demo
2008-10-23 Adam Chlipala Crud2 demo
2008-10-23 Adam Chlipala Crud demo
2008-10-23 Adam Chlipala Prose for Ref and Metaform
2008-10-23 Adam Chlipala Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
2008-10-23 Adam Chlipala Metaform demos, minus prose
2008-10-23 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
2008-10-23 Adam Chlipala Counter demo
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