Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Stray character in a comment | Adam Chlipala | 2015-07-04 | |
| | ||||
* | Add HTML 'align' attribute | Adam Chlipala | 2015-07-02 | |
| | ||||
* | Allow mouse and key events for <body> | Adam Chlipala | 2015-07-02 | |
| | ||||
* | Adjust new [assert] to work properly from top.ur | Adam Chlipala | 2015-06-03 | |
| | ||||
* | assert function to use with location literal _LOC_ | Gabriel Riba Faura | 2015-06-03 | |
| | ||||
* | Add fieldset and legend tags | Julian Squires | 2015-05-04 | |
| | ||||
* | New mouse events oncontextmenu, onmouseenter, and onmouseleave. | Ziv Scully | 2015-04-07 | |
| | ||||
* | Make flattening of reactive HTML trees iterative instead of recursive, to ↵ | Adam Chlipala | 2015-03-08 | |
| | | | | avoid stack overflows | |||
* | Fix dynClass JavaScript reversion | Adam Chlipala | 2015-03-08 | |
| | ||||
* | Support 'dynClass' and 'dynStyle' for <body> | Adam Chlipala | 2015-03-03 | |
| | ||||
* | Add 'download' attribute to <a/>, part of HTML5 | Sergey Mironov | 2014-10-26 | |
| | ||||
* | A new MonoReduce optimization for lifting 'let' out of field projection; ↵ | Adam Chlipala | 2015-02-01 | |
| | | | | JavaScript compilation for exponentiation | |||
* | Client-side conversion of string to bool | Adam Chlipala | 2014-12-25 | |
| | ||||
* | 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 ↵ | Adam Chlipala | 2014-11-16 | |
| | | | | for parsing their usual HTML syntax | |||
* | HTML5 input attributes: placeholder, required, autofocus; email input type ↵ | Sergey Mironov | 2014-10-12 | |
| | | | | (without cformTag equivalent) | |||
* | Add 'role' data attribute. | Sergey Mironov | 2014-07-07 | |
| | | | | | | | Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes | |||
* | <cselect> and <coption> type fixes (grandfathered into release) | Adam Chlipala | 2014-08-19 | |
| | ||||
* | Allow Body tags inside cformTags | Sergey Mironov | 2014-08-17 | |
| | | | | | This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible | |||
* | Adds AJAX-oriented widget cpassword. | Ziv Scully | 2014-08-10 | |
| | ||||
* | 'aria-*' attributes | Adam Chlipala | 2014-08-01 | |
| | ||||
* | Added javascript for Basis.strsindex | Samuel Dukhovni | 2014-07-28 | |
| | ||||
* | 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 | |
| | ||||
* | Fix dynClass for non-<body> contexts | Adam Chlipala | 2014-05-04 | |
| | ||||
* | 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 | |
| | ||||
* | Change <active> to avoid generating an empty <span> for empty content | Adam Chlipala | 2014-04-21 | |
| | ||||
* | Add <pre> tag support | Sergey Mironov | 2014-02-24 | |
| | ||||
* | Merge with small clean-ups | Adam Chlipala | 2014-02-18 | |
|\ | ||||
| * | Add Datetime JavaScript support. | Patrick Hurst | 2014-02-17 | |
| | | ||||
| * | Merge in upstream changes. | Patrick Hurst | 2014-01-18 | |
| |\ | |/ |/| | ||||
* | | Raise exception when recv()ing from someone else's channel; improve setting ↵ | Adam Chlipala | 2013-12-27 | |
| | | | | | | | | of client ID in RPCs | |||
| * | 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 | |
| | |