| Commit message (Expand) | Author | Age |
* | Rename ListPair.map2 to ListPair.mp | Adam Chlipala | 2013-11-04 |
* | ListPair.map2, based on code by escalier@riseup.net | Adam Chlipala | 2013-11-03 |
* | Add <dl> <dt> <dd> tags | Sergey Mironov | 2013-10-07 |
* | Add xhead type | Sergey Mironov | 2013-10-07 |
* | Add <em> and <strong> tags | Sergey Mironov | 2013-10-07 |
* | Add 'rel' attribute to <a> | Adam Chlipala | 2013-08-09 |
* | Basis.tryRpc | Adam Chlipala | 2013-04-16 |
* | Add some name-mangling rules to allow XML attribute 'name' and attributes wit... | Adam Chlipala | 2012-12-27 |
* | add Placeholder attribute to <password>; change <textbox> code generation to ... | Adam Chlipala | 2012-11-30 |
* | Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a te... | Adam Chlipala | 2012-11-28 |
* | Standard library additions: Option.unsafeGet, Basis.exp | Austin Seipp | 2012-11-28 |
* | show_sql_query | Adam Chlipala | 2012-08-22 |
* | Basis.getenv | Adam Chlipala | 2012-08-02 |
* | Add more global mouse event hooks | Adam Chlipala | 2012-07-23 |
* | Top.postFields | Adam Chlipala | 2012-07-21 |
* | <active> | Adam Chlipala | 2012-07-21 |
* | Basis.giveFocus | Adam Chlipala | 2012-07-21 |
* | New event records for key and mouse handlers | Adam Chlipala | 2012-07-21 |
* | Lighter-weight encoding of window function use | Adam Chlipala | 2012-06-03 |
* | Partitioning and ordering for window functions | Adam Chlipala | 2012-06-02 |
* | Compiled a window function use | Adam Chlipala | 2012-06-02 |
* | Track whether SQL expressions may use window functions, in preparation for ac... | Adam Chlipala | 2012-06-02 |
* | Some standard library additions from Edward Z. Yang | Adam Chlipala | 2012-05-19 |
* | 'dynStyle' pseudo-attribute | Adam Chlipala | 2012-05-06 |
* | 'style' attributes | Adam Chlipala | 2012-05-06 |
* | Simplify type of Basis.tag, regarding 'class' attribute; new compatibility pa... | Adam Chlipala | 2012-05-06 |
* | Remove string-valued style attribute, which may allow injection attacks | Adam Chlipala | 2012-04-15 |
* | Added several missing tag attributes | Vladimir Shabanov | 2012-04-11 |
* | Change <radio> to yield [option string] | Adam Chlipala | 2012-03-10 |
* | Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday | Adam Chlipala | 2012-02-04 |
* | 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn) | Adam Chlipala | 2012-02-02 |
* | Rename [Top.id] to avoid clash with [Basis.id] | Adam Chlipala | 2011-12-29 |
* | 'dynClass' pseudo-attribute | Adam Chlipala | 2011-12-27 |
* | Refactor HTML contexts to prevent some illegal nestings (that can crash the J... | Adam Chlipala | 2011-12-20 |
* | Redo HTML context classification, to keep regular <body> tags out of <table> ... | Adam Chlipala | 2011-12-20 |
* | SQL lower() and upper() functions | Adam Chlipala | 2011-12-17 |
* | Some new List functions, based on code by Ron de Bruijn | Adam Chlipala | 2011-12-11 |
* | Add LIKE operator to SQL sublanguage. | Karn Kallio | 2011-11-23 |
* | COALESCE | Adam Chlipala | 2011-11-19 |
* | IF THEN ELSE conditional for SQL. | Karn Kallio | 2011-10-14 |
* | Primitive int/float functions: ceil, float, round, trunc | Adam Chlipala | 2011-10-08 |
* | Basis.null | Adam Chlipala | 2011-10-06 |
* | Added 'target' attribute for 'a' tag. | Vladimir Shabanov | 2011-09-12 |
* | New Basis functions: preventDefault and stopPropagation (code contributed by ... | Adam Chlipala | 2011-09-11 |
* | Switch type of 'for' attribute | Adam Chlipala | 2011-09-03 |
* | An abstract type of IDs | Adam Chlipala | 2011-09-03 |
* | New client-side, document-level event handlers | Adam Chlipala | 2011-09-03 |
* | Fix another list unurlification segfault bug; List.foldlMi | Adam Chlipala | 2011-08-21 |
* | Basis.mkMonad | Adam Chlipala | 2011-08-19 |
* | List.mapXi | Adam Chlipala | 2011-08-15 |