log demo/prose

age author description
2009-07-18 Adam Chlipala New command-line options; describe simple SQLite build in demo intro
2009-06-27 Adam Chlipala .msgs processing in FastCGI
2009-05-03 Adam Chlipala crud3 demo
2009-05-03 Adam Chlipala subforms demo
2009-05-03 Adam Chlipala cookieSec demo
2009-05-03 Adam Chlipala view demo
2009-05-03 Adam Chlipala outer demo
2009-05-03 Adam Chlipala upload demo
2009-05-03 Adam Chlipala css demo
2009-05-03 Adam Chlipala url demo
2009-05-03 Adam Chlipala constraints demo
2009-04-13 Adam Chlipala Simplify type class requirement for tree demo
2009-04-05 Adam Chlipala Chat demo
2009-04-05 Adam Chlipala RoundTrip demo
2009-04-05 Adam Chlipala Threads demo
2009-03-10 Adam Chlipala Noisy demo
2009-03-10 Adam Chlipala BatchG demo
2009-03-10 Adam Chlipala Batch example
2009-03-10 Adam Chlipala Increment demo
2009-03-10 Adam Chlipala Prose for ListEdit
2009-03-10 Adam Chlipala React demo
2009-03-10 Adam Chlipala Alert demo
2009-03-10 Adam Chlipala Avoid any JavaScript when pages don't need it; update demo prose
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