| Commit message (Expand) | Author | Age |
* | chars with more than 2 bytes are awkwardly handled by the "normal" string of ... | fab | 2018-12-06 |
* | 1 bug fix and sorting out my own confusion: uw_Basis_char is already a codepo... | fab | 2018-12-02 |
* | test client eval vs server eval | fab | 2018-11-23 |
* | cleanup | fab | 2018-11-19 |
* | several fixes on unit tests and implementation | fab | 2018-11-19 |
* | utf-8 aware functions for basis. unit-testing. | fab | 2018-11-17 |
* | More telegraphic error text for clashing URL prefixes (closes #111) | Adam Chlipala | 2018-10-19 |
* | Block scary types for [de]serialization (closes #98) | Adam Chlipala | 2018-10-19 |
* | Automatic merging of style/dynStyle and class/dynClass (closes #64) | Adam Chlipala | 2018-10-19 |
* | Client-side escaping of HTML should be prepared for structured HTML trees, no... | Adam Chlipala | 2018-10-19 |
* | Just return None rather than crashing, when trying to read cookies within tas... | Adam Chlipala | 2018-10-19 |
* | offsetX, offsetY | Fabrice Leal | 2018-07-09 |
* | Merge pull request #126 from majorseitan/master | Adam Chlipala | 2018-06-04 |
|\ |
|
* \ | Merge pull request #127 from ashalkhakov/cradio | Adam Chlipala | 2018-06-04 |
|\ \ |
|
* | | | 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process | Adam Chlipala | 2018-06-03 |
| | * | Merge branch 'master' into master | major seitan | 2018-06-02 |
| | |\
| |_|/
|/| | |
|
| * | | Multi-group test | Artyom Shalkhakov | 2018-05-30 |
| * | | Formatting | Artyom Shalkhakov | 2018-05-28 |
| * | | Adding: cradio (support for client-side radio box). | Artyom Shalkhakov | 2018-05-28 |
|/ / |
|
| * | resolve merge conflict on test | majorseitan@blockfreie.org | 2018-05-26 |
| * | Handling of JSON escape characters | majorseitan@blockfreie.org | 2018-05-26 |
* | | A test for List.groupBy | Adam Chlipala | 2018-05-21 |
* | | Proper error message when the body of a 'val' declaration fails to check agai... | Adam Chlipala | 2018-05-20 |
* | | Merge pull request #123 from ashalkhakov/tests | Adam Chlipala | 2018-05-19 |
|\ \ |
|
* | | | More defensive unurlification of enumerations (closes #117) | Adam Chlipala | 2018-05-19 |
| * | | More tests. | Artyom Shalkhakov | 2018-05-15 |
| * | | 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-15 |
|/ |
|
* | 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 |