| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Creation of sources in server code |  Adam Chlipala | 2008-12-19 |
| * | Monad type class seems to be working | Adam Chlipala | 2008-12-19 |
| * | Add SQL arithmetic operators | Adam Chlipala | 2008-12-09 |
| * | Finish documenting queries; remove a stray [unit] argument | Adam Chlipala | 2008-12-07 |
| * | Add CutMulti | Adam Chlipala | 2008-11-11 |
| * | More ThreadedBlog progress | Adam Chlipala | 2008-11-11 |
| * | Tree demo working (and other assorted regressions fixed) | Adam Chlipala | 2008-11-06 |
| * | Tree demo works | Adam Chlipala | 2008-11-06 |
| * | Ensql'ing nullables | Adam Chlipala | 2008-11-06 |
| * | Inserted a NULL value | Adam Chlipala | 2008-11-06 |
| * | Cookies work across pages | Adam Chlipala | 2008-11-06 |
| * | Cookie prose; fix bugs that broke demo compilation | Adam Chlipala | 2008-11-06 |
| * | Reading cookies works | Adam Chlipala | 2008-11-06 |
| * | Setting a cookie | Adam Chlipala | 2008-11-06 |
| * | Fix some type-class detection | Adam Chlipala | 2008-11-01 |
| * | Wrapping works in Blog | Adam Chlipala | 2008-11-01 |
| * | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 |
| * | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 |
| * | Marshaling time to SQL | Adam Chlipala | 2008-10-30 |
| * | Add time to some type classes | Adam Chlipala | 2008-10-30 |
| * | time type | Adam Chlipala | 2008-10-30 |
| * | Crud2 demo | Adam Chlipala | 2008-10-23 |
| * | Fix nasty de Bruijn substitution bug; TcSum demo | Adam Chlipala | 2008-10-23 |
| * | Sql demo | Adam Chlipala | 2008-10-21 |
| * | New implicit argument handling | Adam Chlipala | 2008-10-21 |
| * | ord_string | Adam Chlipala | 2008-10-21 |
| * | ord_float and ord_bool | Adam Chlipala | 2008-10-21 |
| * | gt, ge | Adam Chlipala | 2008-10-21 |
| * | lt, le working for int | Adam Chlipala | 2008-10-21 |
| * | num_float | Adam Chlipala | 2008-10-21 |
| * | num working for int | Adam Chlipala | 2008-10-21 |
| * | Monoize eq_[bool|string] | Adam Chlipala | 2008-10-21 |
| * | Binops; equality tested on int; lame 404 substitute | Adam Chlipala | 2008-10-21 |
| * | Support for URL prefixes that works with local demo | Adam Chlipala | 2008-10-19 |
| * | lform -> form | Adam Chlipala | 2008-10-14 |
| * | Use checkbox in CRUD example | Adam Chlipala | 2008-10-04 |
| * | Fix inexhaustive match | Adam Chlipala | 2008-09-14 |
| * | SQL sequences | Adam Chlipala | 2008-09-14 |
| * | Crud listing IDs | Adam Chlipala | 2008-09-11 |
| * | Termination checking allows anything in links and actions | Adam Chlipala | 2008-09-09 |
| * | Rename 'lw' prefixes to 'uw' | Adam Chlipala | 2008-09-07 |
| * | First DELETE works | Adam Chlipala | 2008-09-07 |
| * | First UPDATE works | Adam Chlipala | 2008-09-07 |
| * | First INSERT works | Adam Chlipala | 2008-09-07 |
| * | pquery working with all four types of columns | Adam Chlipala | 2008-09-07 |
| * | Error-parsing ints | Adam Chlipala | 2008-09-07 |
| * | 'read' type class | Adam Chlipala | 2008-09-07 |
| * | Converting string to int | Adam Chlipala | 2008-09-07 |
| * | 'show' type class; htmlification optimizations | Adam Chlipala | 2008-09-07 |
| * | 'error' function | Adam Chlipala | 2008-09-07 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |