| Commit message (Expand) | Author | Age |
* | Adding jsbspace for #121. | Artyom Shalkhakov | 2018-05-08 |
* | Adding Selenium-based checking to tests. | Artyom Shalkhakov | 2018-05-08 |
* | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-04-14 |
* | New .urp directives: mimeTypes and long form of file | Adam Chlipala | 2017-10-01 |
* | Fix last fix, to handle checkboxes properly | Adam Chlipala | 2017-07-27 |
* | Add test cases for last commit | Adam Chlipala | 2017-07-27 |
* | Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations | Adam Chlipala | 2017-07-12 |
* | Fix normalization of signatures that project signatures from other modules wi... | Adam Chlipala | 2017-03-31 |
* | Better error message for .urp files with too many blank lines | Adam Chlipala | 2017-03-17 |
* | Add 'placeholder' attribute for textareas | Adam Chlipala | 2017-01-02 |
* | Update test to track last change | Adam Chlipala | 2016-12-31 |
* | Use 'id' attribute for <form> | Adam Chlipala | 2016-12-31 |
* | Allow qualified variable references in record literals | Adam Chlipala | 2016-12-31 |
* | Update tests for new html5 default | Adam Chlipala | 2016-09-20 |
* | Import Json module from old Meta library (thanks to Edward Z. Yang for code c... | Adam Chlipala | 2016-08-26 |
* | Fix for "normalizeTable" nesting thead and tfoot in tbody | Saulo Araujo | 2016-07-16 |
* | Client-side: detect session timeout and ask the user to reload | Adam Chlipala | 2016-06-16 |
* | 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 at... | Karen Sargsyan | 2016-05-21 |
* | Support for <meta> tags | Adam Chlipala | 2016-05-15 |
* | Add some tests for Content-Disposition | Adam Chlipala | 2016-05-05 |
* | At runtime, catch when we exceed 'limit inputs' | Adam Chlipala | 2016-03-30 |
* | More consistent formatting for new List functions | Adam Chlipala | 2016-02-26 |
* | Finish removing PWild; only load a library once, even if referenced multiple ... | Adam Chlipala | 2016-02-07 |
* | Merge PVar and PWild, to get more reasonable type-class resolution | Adam Chlipala | 2016-02-07 |
* | Merge Sqlcache | Adam Chlipala | 2015-12-20 |
|\ |
|
* | | Fix tricky case of functor signature subsumption | Adam Chlipala | 2015-11-27 |
| * | Fix condition for installing new cache entries | Adam Chlipala | 2015-11-19 |
|/ |
|
* | Proper error message for excessively fancy FFI signatures | Adam Chlipala | 2015-08-27 |
* | Add a simple 'make test' target | Adam Chlipala | 2015-07-29 |
* | Add HTML 'align' attribute | Adam Chlipala | 2015-07-02 |
* | Allow mouse and key events for <body> | Adam Chlipala | 2015-07-02 |
* | Apply syntax sugar for 'class' attribute to <form> as well | Adam Chlipala | 2015-06-08 |
* | Fix .sql generation to honor 'noMangleSql' in column names | Adam Chlipala | 2015-05-10 |
* | New mouse events oncontextmenu, onmouseenter, and onmouseleave. | Ziv Scully | 2015-04-07 |
* | Fix interpretation of 'file' argument paths | Adam Chlipala | 2015-03-08 |
* | Support 'dynClass' and 'dynStyle' for <body> | Adam Chlipala | 2015-03-03 |
* | Fix XML syntax for closing <input> tags | Adam Chlipala | 2014-12-18 |
* | 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 |
* | Default to parsing time strings with the application-configured format | Adam Chlipala | 2014-09-20 |
* | Extend ScriptCheck to take RPCs into account | Adam Chlipala | 2014-08-24 |
* | A new test for <button> | Adam Chlipala | 2014-08-17 |
* | Add tests/dbupload2.* files | Sergey Mironov | 2014-08-15 |
* | MonoReduce bug involving 'error' | Adam Chlipala | 2014-08-06 |