urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	Merge branch 'master' into master	major seitan	2018-06-02
\|\
* \|	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
*	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