Commit message (Expand) | Author | Age | |
---|---|---|---|
* | First gimpy RPC | Adam Chlipala | 2009-02-15 |
* | Export RPC functions and push RPC calls through to Mono | Adam Chlipala | 2009-02-15 |
* | Start of RPCification | Adam Chlipala | 2009-02-14 |
* | Use normal fields of ctextboxes | Adam Chlipala | 2009-01-27 |
* | dlist example working | Adam Chlipala | 2009-01-16 |
* | Initial experiments with nested <dyn> | Adam Chlipala | 2009-01-13 |
* | Use header to set default script type | Adam Chlipala | 2009-01-11 |
* | Hooking a source into an input | Adam Chlipala | 2009-01-11 |
* | Injecting an int | Adam Chlipala | 2009-01-01 |
* | Harmonized source-setting between server and client | Adam Chlipala | 2008-12-30 |
* | Setting a source server-side | Adam Chlipala | 2008-12-30 |
* | Starting to implement source set | Adam Chlipala | 2008-12-30 |
* | Trivial use of a source | Adam Chlipala | 2008-12-21 |
* | Handling singnal bind | Adam Chlipala | 2008-12-21 |
* | Switch to using dyn() function in JavaScript | Adam Chlipala | 2008-12-21 |
* | Successfully generated a page element from a signal | Adam Chlipala | 2008-12-20 |
* | Initial <dyn> support | Adam Chlipala | 2008-12-20 |
* | Displayed an alert dialog | Adam Chlipala | 2008-12-19 |
* | 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 |