urweb - functional programming language for web programming

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