| Commit message (Expand) | Author | Age |
* | 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 |
* | Binops; equality tested on int; lame 404 substitute | Adam Chlipala | 2008-10-21 |
* | Fix a nasty indent bug, found while working on listFun | Adam Chlipala | 2008-10-19 |
* | Support for URL prefixes that works with local demo | Adam Chlipala | 2008-10-19 |
* | Building combined demo app | Adam Chlipala | 2008-10-19 |
* | Small demo prettifications | Adam Chlipala | 2008-10-19 |
* | Generating fontified source files | Adam Chlipala | 2008-10-19 |
* | Generating urp HTML | Adam Chlipala | 2008-10-19 |
* | Demo HTML generation, minus source code | Adam Chlipala | 2008-10-19 |
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 |
* | Proper generation of relation names; checking that sequences exist | Adam Chlipala | 2008-10-19 |
* | Simple generation of persistent paths | Adam Chlipala | 2008-10-19 |
* | Fixing overzealous SQL paren-nester | Adam Chlipala | 2008-10-16 |
* | Indenting paren-nested SQL expressions | Adam Chlipala | 2008-10-16 |
* | Indenting simple DML properly | Adam Chlipala | 2008-10-16 |
* | Indenting SELECT sub-clauses properly | Adam Chlipala | 2008-10-16 |
* | Crud auto-indented correctly | Adam Chlipala | 2008-10-16 |
* | Fix problem with sig/struct indenting | Adam Chlipala | 2008-10-16 |
* | Crud indented properly, except for <xml>...</xml> outside parens and sig/struct | Adam Chlipala | 2008-10-16 |
* | Removed handling of <,> as operators, for now | Adam Chlipala | 2008-10-16 |
* | Improving indentation of XML after antiquote | Adam Chlipala | 2008-10-16 |
* | Proper indenting of normal ML-y code after </xml> | Adam Chlipala | 2008-10-16 |
* | Special case indenting for <xml>...</xml> | Adam Chlipala | 2008-10-16 |
* | Fix XML indent not to take two tab-tries | Adam Chlipala | 2008-10-16 |
* | Reasonable indenting for pure XML | Adam Chlipala | 2008-10-16 |
* | Reusable column handlers for Crud | Adam Chlipala | 2008-10-14 |
* | lform -> form | Adam Chlipala | 2008-10-14 |