urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
\|
*	offsetX, offsetY	Fabrice Leal	2018-07-09
\|
*	Merge pull request #127 from ashalkhakov/cradio	Adam Chlipala	2018-06-04
\|\ \| \| \| \|	Adding: cradio (support for client-side radio box).
* \|	Remove insecure crypto function (closes #114)	Adam Chlipala	2018-05-29
\| \|
\| *	Adding: cradio (support for client-side radio box).	Artyom Shalkhakov	2018-05-28
\|/
*	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
\|
*	Add 'placeholder' attribute for textareas	Adam Chlipala	2017-01-02
\|
*	Use 'id' attribute for <form>	Adam Chlipala	2016-12-31
\|
*	Remove 'Value' attributes for AJAX-y UI widgets, because they should use ↵	Adam Chlipala	2016-09-01
\| \| \| \|	'Source' instead
*	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/
*	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
\|
*	Add onChange handler to radioOption	Julian Squires	2015-05-07
\|
*	Add HTML 'align' attribute	Adam Chlipala	2015-07-02
\|
*	Allow mouse and key events for <body>	Adam Chlipala	2015-07-02
\|
*	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
\|
*	More HTML5 AJAX widgets	Adam Chlipala	2014-11-16
\|
*	Textual HTML5 AJAX widgets	Adam Chlipala	2014-11-16
\|
*	Some more HTML5 input types	Adam Chlipala	2014-11-16
\|
*	More simple textual HTML5 input types	Adam Chlipala	2014-11-16
\|
*	Remove 'value' attribute of <checkbox>	Adam Chlipala	2014-11-16
\|
*	Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵	Adam Chlipala	2014-11-16
\| \| \| \|	for parsing their usual HTML syntax
*	HTML5 input attributes: placeholder, required, autofocus; email input type ↵	Sergey Mironov	2014-10-12
\| \| \| \|	(without cformTag equivalent)
*	Add 'role' data attribute.	Sergey Mironov	2014-07-07
\| \| \| \| \| \| \|	Note, that 'role' attribute is a part of reach ARIA API described here: http://www.w3.org/TR/wai-aria/ Among 'role', it defines lots of aria-* attributes
*	<cselect> and <coption> type fixes (grandfathered into release)	Adam Chlipala	2014-08-19
\|
*	Allow Body tags inside cformTags	Sergey Mironov	2014-08-17
\| \| \| \| \|	This is required by Bootstrap. For example, see http://getbootstrap.com/components/#alerts-dismissible
*	Adds AJAX-oriented widget cpassword.	Ziv Scully	2014-08-10
\|
*	'aria-*' attributes	Adam Chlipala	2014-08-01
\|
*	'sql_injectable_prim' instance for 'url'	Adam Chlipala	2014-06-15
\|
*	String.trim; add OnChange to more tags	Adam Chlipala	2014-06-10
\|
*	Added HTML5 Semantic Tags	David Snider	2014-05-10
\|
*	HTML5 data-* attributes	Adam Chlipala	2014-05-02
\|
*	<thead>, <tbody>, <tfoot>	Adam Chlipala	2014-04-30
\|
*	Add <pre> tag support	Sergey Mironov	2014-02-24
\|
*	Merge in upstream changes.	Patrick Hurst	2014-01-18
\|\
* \|	Day of week functions.	Patrick Hurst	2013-12-05
\| \|
* \|	Add basic year/month/day/hour/minute/second <-> time functions.	Patrick Hurst	2013-12-05
\| \|
\| *	Add show instance for 'id' type	Sergey Mironov	2013-10-07
\| \|
\| *	Rename <activeHead> to <script> and make it work properly	Adam Chlipala	2013-12-09
\| \|
\| *	activeHead: don't modify the head. just execute the code provided	Sergey Mironov	2013-12-06
\| \|
\| *	Add activeHead tag.	Sergey Mironov	2013-12-06
\|/ \| \| \|	activeHead is similar to active but produces xhead instead of xbody
*	Add <dl> <dt> <dd> tags	Sergey Mironov	2013-10-07
\|
*	Add xhead type	Sergey Mironov	2013-10-07
\|