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