urweb - functional programming language for web programming

	Commit message (Collapse)	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, ↵	Adam Chlipala	2018-10-19
\| \| \| \|	not just strings (closes #141)
*	Just return None rather than crashing, when trying to read cookies within ↵	Adam Chlipala	2018-10-19
\| \| \| \|	tasks (closes #143)
*	offsetX, offsetY	Fabrice Leal	2018-07-09
\|
*	Merge pull request #126 from majorseitan/master	Adam Chlipala	2018-06-04
\|\ \| \| \| \|	Improved support for JSON escape characters
* \	Merge pull request #127 from ashalkhakov/cradio	Adam Chlipala	2018-06-04
\|\ \ \| \| \| \| \| \|	Adding: cradio (support for client-side radio box).
* \| \|	'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
\| \| \| \| \| \| \| \| \| \|	1. Handle the escape character \/
* \|	A test for List.groupBy	Adam Chlipala	2018-05-21
\| \|
* \|	Proper error message when the body of a 'val' declaration fails to check ↵	Adam Chlipala	2018-05-20
\| \| \| \| \| \| \| \|	against the type annotation
* \|	Merge pull request #123 from ashalkhakov/tests	Adam Chlipala	2018-05-19
\|\ \ \| \| \| \| \| \|	Adding Selenium-based checking to tests.
* \| \|	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
\|/ \| \| \| \|	1. Handle the escape character \\
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-14
\| \| \| \| \| \| \| \| \| \|	1. Handle escape sequence chars \t \n \r 2. Fail on unsupported escape characters. Instead of skipping \ on unsupported sequences it now fails.
*	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 ↵	Adam Chlipala	2017-03-31
\| \| \| \|	with multi-element paths (fixes #72)
*	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 ↵	Adam Chlipala	2016-08-26
\| \| \| \|	contributions)
*	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 ↵	Karen Sargsyan	2016-05-21
\| \| \| \|	at client and server sides
*	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
\| \| \| \|	times in a .urp tree
*	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
\|/