2011-07-16 |
Adam Chlipala |
In demo prose, note URL for hello demo |
2010-09-30 |
Adam Chlipala |
Demo improvements |
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 |