urweb - functional programming language for web programming

	Commit message (Expand)	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	steinuil	2018-08-04
* \|	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
\|\ \
\| \| *	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
\| *	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-15
\|/
*	Handling of JSON escape characters	majorseitan@blockfreie.org	2018-04-14
*	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
*	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 'Sou...	Adam Chlipala	2016-09-01
*	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 c...	Adam Chlipala	2016-08-26
*	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 at...	Karen Sargsyan	2016-05-21
*	Support for <meta> tags	Adam Chlipala	2016-05-15
*	Resource integrity attributes for HTML link element. http://www.w3.org/TR/201...	Alexander Abushkevich	2016-03-10
*	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