Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Initial parsing of RPC results | Adam Chlipala | 2009-02-15 |
| | |||
* | Detect AJAX call failures | Adam Chlipala | 2009-02-15 |
| | |||
* | First gimpy RPC | Adam Chlipala | 2009-02-15 |
| | |||
* | Use normal fields of ctextboxes | Adam Chlipala | 2009-01-27 |
| | |||
* | Add dynamic content under proper parents | Adam Chlipala | 2009-01-17 |
| | |||
* | dlist example working | Adam Chlipala | 2009-01-16 |
| | |||
* | Combine lib* directories | Adam Chlipala | 2009-01-13 |
| | |||
* | Initial experiments with nested <dyn> | Adam Chlipala | 2009-01-13 |
| | |||
* | Hooking a source into an input | Adam Chlipala | 2009-01-11 |
| | |||
* | Starting to implement source set | Adam Chlipala | 2008-12-30 |
| | |||
* | 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 |
| | |||
* | Tree demo working (and other assorted regressions fixed) | Adam Chlipala | 2008-11-06 |
| | |||
* | Tree demo works | Adam Chlipala | 2008-11-06 |
| | |||
* | About to begin optimization of recursive transaction functions | Adam Chlipala | 2008-11-06 |
| | |||
* | Inserted a NULL value | Adam Chlipala | 2008-11-06 |
| | |||
* | Cookies through elaborate | Adam Chlipala | 2008-11-06 |
| | |||
* | Monoizing FFI transactions correctly | Adam Chlipala | 2008-11-06 |
| | |||
* | Fix some type-class detection | Adam Chlipala | 2008-11-01 |
| | |||
* | Replace 'with' with '++' | Adam Chlipala | 2008-10-31 |
| | |||
* | Remove _espec tag; add some tag fields | Adam Chlipala | 2008-10-30 |
| | |||
* | Especialize | Adam Chlipala | 2008-10-30 |
| | |||
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 |
| | |||
* | Time MIN/MAX | 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 |
| | |||
* | Metaform demos, minus prose | Adam Chlipala | 2008-10-23 |
| | |||
* | Fix nasty de Bruijn substitution bug; TcSum demo | Adam Chlipala | 2008-10-23 |
| | |||
* | 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 |
| | |||
* | Rec demo | Adam Chlipala | 2008-10-21 |
| | |||
* | Form example | Adam Chlipala | 2008-10-21 |
| | |||
* | New implicit argument handling | Adam Chlipala | 2008-10-21 |
| | |||
* | ord_float and ord_bool | 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 |
| | |||
* | Improving indentation of XML after antiquote | Adam Chlipala | 2008-10-16 |
| | |||
* | lform -> form | Adam Chlipala | 2008-10-14 |
| | |||
* | Syntax highlighting for embedded XML | Adam Chlipala | 2008-10-14 |
| | |||
* | Basis and Top syntax-highlight, indent, parse, and type-check | Adam Chlipala | 2008-10-12 |
| | |||
* | top.urs indents and type-checks with new twiddle syntax | Adam Chlipala | 2008-10-12 |
| | |||
* | Basis indents and type-checks with new twiddle syntax | Adam Chlipala | 2008-10-12 |
| | |||
* | Use checkbox in CRUD example | Adam Chlipala | 2008-10-04 |
| |