Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-04-14 |
| | | | | | | | | | | 1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails. | ||
* | List.findM | Adam Chlipala | 2018-04-14 |
| | |||
* | List.existsM | Adam Chlipala | 2018-04-14 |
| | |||
* | Added oninput event to inputs which support it. | Vladimir Shabanov | 2017-12-05 |
| | | | | Added onscroll event to <body> and title/sizes attributes to <link>. | ||
* | Button: disabled attribute; allowing number entry using HTML5 widgets | Artyom Shalkhakov | 2017-02-21 |
| | |||
* | Option.app | Adam Chlipala | 2017-02-01 |
| | |||
* | List.appi | Adam Chlipala | 2017-01-25 |
| | |||
* | Add 'placeholder' attribute for textareas | Adam Chlipala | 2017-01-02 |
| | |||
* | Use 'id' attribute for <form> | Adam Chlipala | 2016-12-31 |
| | |||
* | Add mapUX_rev | Adam Chlipala | 2016-09-24 |
| | |||
* | Remove 'Value' attributes for AJAX-y UI widgets, because they should use ↵ | Adam Chlipala | 2016-09-01 |
| | | | | 'Source' instead | ||
* | Json: parse records with extra fields | Adam Chlipala | 2016-08-27 |
| | |||
* | Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵ | Adam Chlipala | 2016-08-26 |
| | | | | contributions) | ||
* | Switch to expected order for [queryL] | Adam Chlipala | 2016-07-01 |
| | |||
* | abs and floor added | Karen Sargsyan | 2016-05-23 |
| | |||
* | asin, acos, atan, atan2 added | Karen Sargsyan | 2016-05-22 |
| | |||
* | Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work ↵ | Karen Sargsyan | 2016-05-21 |
| | | | | at client and server sides | ||
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
| | |||
* | Resource integrity attributes for HTML link element. ↵ | Alexander Abushkevich | 2016-03-10 |
| | | | | http://www.w3.org/TR/2015/CR-SRI-20151112/ | ||
* | More consistent formatting for new List functions | Adam Chlipala | 2016-02-26 |
| | |||
* | Return lists in their original order in span function | Alexander Abushkevich | 2016-02-24 |
| | |||
* | Find longest prefix of elements, which satisfy a predicate; Group a list | Alexander Abushkevich | 2016-02-23 |
| | |||
* | Change behavior of SQL equality to do the intuitive thing for nullable types | Adam Chlipala | 2015-11-01 |
| | |||
* | Basis.fromMilliseconds | Adam Chlipala | 2015-11-01 |
| | |||
* | Monad.mapR3 | Adam Chlipala | 2015-10-31 |
| | |||
* | Add onChange handler to radioOption | Julian Squires | 2015-05-07 |
| | |||
* | 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 |
| | |||
* | 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 ↵ | 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 |
| | |||
* | 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 |
| |