| Commit message (Expand) | Author | Age |
* | Add fieldset and legend tags | Julian Squires | 2015-05-04 |
* | New mouse events oncontextmenu, onmouseenter, and onmouseleave. | Ziv Scully | 2015-04-07 |
* | Add 'download' attribute to <a/>, part of HTML5 | Sergey Mironov | 2014-10-26 |
* | List.mem | Adam Chlipala | 2014-12-23 |
* | More HTML5 AJAX widgets | Adam Chlipala | 2014-11-16 |
* | Textual HTML5 AJAX widgets | Adam Chlipala | 2014-11-16 |
* | Some more HTML5 input types | Adam Chlipala | 2014-11-16 |
* | More simple textual HTML5 input types | Adam Chlipala | 2014-11-16 |
* | Remove 'value' attribute of <checkbox> | Adam Chlipala | 2014-11-16 |
* | Make 'required' and 'autofocus' attributes Boolean; add a syntax extension fo... | Adam Chlipala | 2014-11-16 |
* | HTML5 input attributes: placeholder, required, autofocus; email input type (w... | Sergey Mironov | 2014-10-12 |
* | Add 'role' data attribute. | Sergey Mironov | 2014-07-07 |
* | <cselect> and <coption> type fixes (grandfathered into release) | Adam Chlipala | 2014-08-19 |
* | Allow Body tags inside cformTags | Sergey Mironov | 2014-08-17 |
* | Adds AJAX-oriented widget cpassword. | Ziv Scully | 2014-08-10 |
* | 'aria-*' attributes | Adam Chlipala | 2014-08-01 |
* | Top.max and Top.min | Adam Chlipala | 2014-06-29 |
* | 'sql_injectable_prim' instance for 'url' | Adam Chlipala | 2014-06-15 |
* | Change String to avoid Char dependency | Adam Chlipala | 2014-06-11 |
* | String.trim; add OnChange to more tags | Adam Chlipala | 2014-06-10 |
* | Added HTML5 Semantic Tags | David Snider | 2014-05-10 |
* | A .urs comment about [queryL*] | Adam Chlipala | 2014-05-03 |
* | HTML5 data-* attributes | Adam Chlipala | 2014-05-02 |
* | <thead>, <tbody>, <tfoot> | Adam Chlipala | 2014-04-30 |
* | Add <pre> tag support | Sergey Mironov | 2014-02-24 |
* | Merge with small clean-ups | Adam Chlipala | 2014-02-18 |
|\ |
|
| * | Merge in upstream changes. | Patrick Hurst | 2014-01-18 |
| |\
| |/
|/| |
|
| * | Add datetime functions for adding time intervals. | Patrick Hurst | 2013-12-09 |
| * | Finish datetime -> t rename | Patrick Hurst | 2013-12-08 |
| * | Rename datetime type to t in the .urs file. | Patrick Hurst | 2013-12-08 |
| * | Add day-of-week/month <-> int conversion functions. | Patrick Hurst | 2013-12-07 |
| * | Day of week functions. | Patrick Hurst | 2013-12-05 |
| * | Basic datetime library. | Patrick Hurst | 2013-12-05 |
| * | Add basic year/month/day/hour/minute/second <-> time functions. | Patrick Hurst | 2013-12-05 |
* | | Add show instance for 'id' type | Sergey Mironov | 2013-10-07 |
* | | Rename <activeHead> to <script> and make it work properly | Adam Chlipala | 2013-12-09 |
* | | activeHead: don't modify the head. just execute the code provided | Sergey Mironov | 2013-12-06 |
* | | Add activeHead tag. | Sergey Mironov | 2013-12-06 |
|/ |
|
* | 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 |