Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove empty writes | Adam Chlipala | 2008-11-01 |
* | Wrapping works in Blog | Adam Chlipala | 2008-11-01 |
* | Explify 'let' | Adam Chlipala | 2008-11-01 |
* | First Unnest tests working | Adam Chlipala | 2008-11-01 |
* | Elaborating 'let' | Adam Chlipala | 2008-11-01 |
* | Parsing 'let' | 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 |
* | Don't inline case expressions | Adam Chlipala | 2008-10-30 |
* | CURRENT_TIMESTAMP | Adam Chlipala | 2008-10-30 |
* | Marshaling time to SQL | Adam Chlipala | 2008-10-30 |
* | Reading timestamps from SQL | Adam Chlipala | 2008-10-30 |
* | Add time to some type classes | Adam Chlipala | 2008-10-30 |
* | time type | Adam Chlipala | 2008-10-30 |
* | GCCARGS configure option | Adam Chlipala | 2008-10-28 |
* | Remove need for '() <-' notation | Adam Chlipala | 2008-10-27 |
* | Switch exit(1) call to uw_error() | Adam Chlipala | 2008-10-27 |
* | Avoid using libpq when unneeded | Adam Chlipala | 2008-10-26 |
* | Make *_w function prototypes match header file | Unknown | 2008-10-24 |
* | Remove debug print for optional inputs | Adam Chlipala | 2008-10-24 |
* | Properly freeing libpq results on errors | Adam Chlipala | 2008-10-24 |
* | Transactions seem to be working | Adam Chlipala | 2008-10-24 |
* | Stop including functors in paths | Adam Chlipala | 2008-10-24 |
* | Crud2 demo | 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 |
* | Add newline at end of file | Unknown | 2008-10-23 |
* | sml-util -> urweb-util | 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 |
* | New implicit argument handling | Adam Chlipala | 2008-10-21 |
* | Recursive unurlify for Default datatypes | Adam Chlipala | 2008-10-21 |
* | Remove printing of HTTP headers | 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 XML indenting to ignore comparison operators | Adam Chlipala | 2008-10-21 |
* | ord_string | Adam Chlipala | 2008-10-21 |
* | ord_float and ord_bool | Adam Chlipala | 2008-10-21 |
* | Fix XML detection in presence of comparison operators | 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 |