Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove _espec tag; add some tag fields | 2008-10-30 | |
* | Especialize | 2008-10-30 | |
* | Don't inline case expressions | 2008-10-30 | |
* | CURRENT_TIMESTAMP | 2008-10-30 | |
* | Time MIN/MAX | 2008-10-30 | |
* | Marshaling time to SQL | 2008-10-30 | |
* | Reading timestamps from SQL | 2008-10-30 | |
* | Add time to some type classes | 2008-10-30 | |
* | time type | 2008-10-30 | |
* | GCCARGS configure option | 2008-10-28 | |
* | Remove need for '() <-' notation | 2008-10-27 | |
* | Switch exit(1) call to uw_error() | 2008-10-27 | |
* | Avoid using libpq when unneeded | 2008-10-26 | |
* | Change 'sed' invocation to work in OSX | 2008-10-25 | |
* | mkdir -p BIN | 2008-10-25 | |
* | Use configure --prefix | 2008-10-25 | |
* | Make *_w function prototypes match header file | 2008-10-24 | |
* | Add 'package' make target; add LICENSE | 2008-10-24 | |
* | Remove debug print for optional inputs | 2008-10-24 | |
* | Properly freeing libpq results on errors | 2008-10-24 | |
* | Transactions seem to be working | 2008-10-24 | |
* | Stop including functors in paths | 2008-10-24 | |
* | Crud2 demo | 2008-10-23 | |
* | Crud demo | 2008-10-23 | |
* | Prose for Ref and Metaform | 2008-10-23 | |
* | Fix bug with bringing functor argument instances into scope; Ref demo, minus ... | 2008-10-23 | |
* | Metaform demos, minus prose | 2008-10-23 | |
* | Fix nasty de Bruijn substitution bug; TcSum demo | 2008-10-23 | |
* | Counter demo | 2008-10-23 | |
* | Add newline at end of file | 2008-10-23 | |
* | sml-util -> urweb-util | 2008-10-23 | |
* | Sum prose | 2008-10-21 | |
* | Infering sum rows | 2008-10-21 | |
* | Sum demo, minus inference of {Unit}s | 2008-10-21 | |
* | Sql demo | 2008-10-21 | |
* | Note about demo.sql | 2008-10-21 | |
* | ListShop prose | 2008-10-21 | |
* | Rec demo | 2008-10-21 | |
* | Form example | 2008-10-21 | |
* | Hello prose | 2008-10-21 | |
* | Intro prose | 2008-10-21 | |
* | New implicit argument handling | 2008-10-21 | |
* | Recursive unurlify for Default datatypes | 2008-10-21 | |
* | Remove printing of HTTP headers | 2008-10-21 | |
* | Fix a nasty driver bug, involving memory restarts and marked-up request strings | 2008-10-21 | |
* | listFun uses length | 2008-10-21 | |
* | Simple listShop working | 2008-10-21 | |
* | ListShop skeleton | 2008-10-21 | |
* | Fix XML indenting to ignore comparison operators | 2008-10-21 | |
* | ord_string | 2008-10-21 |