urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	List.mapMi	Adam Chlipala	2018-11-04
\|
*	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
\|
*	List.allM	Adam Chlipala	2018-08-25
\|
*	Merge pull request #134 from steinuil/json-single-quote	Adam Chlipala	2018-08-17
\|\ \| \| \| \|	removed invalid JSON escape character
\| *	removed invalid JSON escape character	steinuil	2018-08-04
\| \|
* \|	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).
\| \| *	Merge branch 'master' into master	major seitan	2018-06-02
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Remove insecure crypto function (closes #114)	Adam Chlipala	2018-05-29
\| \| \|
\| * \|	Adding: cradio (support for client-side radio box).	Artyom Shalkhakov	2018-05-28
\|/ /
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-05-26
\| \| \| \| \| \| \| \| \| \|	1. Handle the escape character \/
\| *	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.
*	List.findM	Adam Chlipala	2018-04-14
\|
*	List.existsM	Adam Chlipala	2018-04-14
\|
*	Added oninput event to inputs which support it.	Vladimir Shabanov	2017-12-05
\| \| \| \|	Added onscroll event to <body> and title/sizes attributes to <link>.
*	Button: disabled attribute; allowing number entry using HTML5 widgets	Artyom Shalkhakov	2017-02-21
\|
*	Option.app	Adam Chlipala	2017-02-01
\|
*	List.appi	Adam Chlipala	2017-01-25
\|
*	Add 'placeholder' attribute for textareas	Adam Chlipala	2017-01-02
\|
*	Use 'id' attribute for <form>	Adam Chlipala	2016-12-31
\|
*	Add mapUX_rev	Adam Chlipala	2016-09-24
\|
*	Remove 'Value' attributes for AJAX-y UI widgets, because they should use ↵	Adam Chlipala	2016-09-01
\| \| \| \|	'Source' instead
*	Json: parse records with extra fields	Adam Chlipala	2016-08-27
\|
*	Import Json module from old Meta library (thanks to Edward Z. Yang for code ↵	Adam Chlipala	2016-08-26
\| \| \| \|	contributions)
*	Switch to expected order for [queryL]	Adam Chlipala	2016-07-01
\|
*	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
\|
*	Resource integrity attributes for HTML link element. ↵	Alexander Abushkevich	2016-03-10
\| \| \| \|	http://www.w3.org/TR/2015/CR-SRI-20151112/
*	More consistent formatting for new List functions	Adam Chlipala	2016-02-26
\|
*	Return lists in their original order in span function	Alexander Abushkevich	2016-02-24
\|
*	Find longest prefix of elements, which satisfy a predicate; Group a list	Alexander Abushkevich	2016-02-23
\|
*	Change behavior of SQL equality to do the intuitive thing for nullable types	Adam Chlipala	2015-11-01
\|
*	Basis.fromMilliseconds	Adam Chlipala	2015-11-01
\|
*	Monad.mapR3	Adam Chlipala	2015-10-31
\|
*	Add onChange handler to radioOption	Julian Squires	2015-05-07
\|
*	Stray character in a comment	Adam Chlipala	2015-07-04
\|
*	Add HTML 'align' attribute	Adam Chlipala	2015-07-02
\|
*	Allow mouse and key events for <body>	Adam Chlipala	2015-07-02
\|
*	Adjust new [assert] to work properly from top.ur	Adam Chlipala	2015-06-03
\|
*	assert function to use with location literal _LOC_	Gabriel Riba Faura	2015-06-03
\|
*	Add fieldset and legend tags	Julian Squires	2015-05-04
\|
*	New mouse events oncontextmenu, onmouseenter, and onmouseleave.	Ziv Scully	2015-04-07
\|
*	Add 'download' attribute to <a/>, part of HTML5	Sergey Mironov	2014-10-26
\|
*	List.mem	Adam Chlipala	2014-12-23
\|
*	More HTML5 AJAX widgets	Adam Chlipala	2014-11-16
\|
*	Textual HTML5 AJAX widgets	Adam Chlipala	2014-11-16
\|