Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |