| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Nested demo |  Adam Chlipala | 2008-11-04 |
| * | Remove need for '() <-' notation | Adam Chlipala | 2008-10-27 |
| * | Properly freeing libpq results on errors | Adam Chlipala | 2008-10-24 |
| * | Crud2 demo | Adam Chlipala | 2008-10-23 |
| * | Crud demo | Adam Chlipala | 2008-10-23 |
| * | Prose for Ref and Metaform | Adam Chlipala | 2008-10-23 |
| * | Fix bug with bringing functor argument instances into scope; Ref demo, minus ... | Adam Chlipala | 2008-10-23 |
| * | Metaform demos, minus prose | Adam Chlipala | 2008-10-23 |
| * | Fix nasty de Bruijn substitution bug; TcSum demo | Adam Chlipala | 2008-10-23 |
| * | Counter demo | Adam Chlipala | 2008-10-23 |
| * | Sum prose | Adam Chlipala | 2008-10-21 |
| * | Infering sum rows | Adam Chlipala | 2008-10-21 |
| * | Sum demo, minus inference of {Unit}s | Adam Chlipala | 2008-10-21 |
| * | Sql demo | Adam Chlipala | 2008-10-21 |
| * | Note about demo.sql | Adam Chlipala | 2008-10-21 |
| * | ListShop prose | Adam Chlipala | 2008-10-21 |
| * | Rec demo | Adam Chlipala | 2008-10-21 |
| * | Form example | Adam Chlipala | 2008-10-21 |
| * | Hello prose | Adam Chlipala | 2008-10-21 |
| * | Intro prose | Adam Chlipala | 2008-10-21 |
| * | New implicit argument handling | Adam Chlipala | 2008-10-21 |
| * | Fix a nasty driver bug, involving memory restarts and marked-up request strings | Adam Chlipala | 2008-10-21 |
| * | listFun uses length | Adam Chlipala | 2008-10-21 |
| * | Simple listShop working | Adam Chlipala | 2008-10-21 |
| * | ListShop skeleton | Adam Chlipala | 2008-10-21 |
| * | Fix a nasty indent bug, found while working on listFun | Adam Chlipala | 2008-10-19 |
| * | Demo HTML generation, minus source code | Adam Chlipala | 2008-10-19 |
| * | Link demo | Adam Chlipala | 2008-10-19 |
| * | Proper configuration and installation | Adam Chlipala | 2008-10-19 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |