urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	List.mapMi	Adam Chlipala	2018-11-04
*	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
*	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
*	Catch when a cselect has an unavailable value set	Adam Chlipala	2018-10-12
*	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
*	dynClass() now calculates and sets class and style attributes before adding n...	Vladimir Shabanov	2017-12-13
*	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
*	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2016-08-26
\|\
* \|	Import Json module from old Meta library (thanks to Edward Z. Yang for code c...	Adam Chlipala	2016-08-26
\| *	Plug a reactive-DOM memory leak (thanks to Saulo Araujo for spotting the prob...	Adam Chlipala	2016-08-24
\| *	Remove a check that was actually always passing because it was on the wrong o...	Adam Chlipala	2016-08-08
\| *	Avoid repopulating dead nodes; otherwise, we might wind up killing a node mul...	Adam Chlipala	2016-08-08
\|/
*	Fix for "normalizeTable" nesting thead and tfoot in tbody	Saulo Araujo	2016-07-16
*	Switch to expected order for [queryL]	Adam Chlipala	2016-07-01
*	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
*	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
*	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
*	Fixing dynClass for <tr>s	Adam Chlipala	2015-12-15
*	Change behavior of SQL equality to do the intuitive thing for nullable types	Adam Chlipala	2015-11-01
*	JavaScript versions of a few more functions	Adam Chlipala	2015-11-01