urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	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 fo...	Adam Chlipala	2014-11-16
*	HTML5 input attributes: placeholder, required, autofocus; email input type (w...	Sergey Mironov	2014-10-12
*	Add 'role' data attribute.	Sergey Mironov	2014-07-07
*	<cselect> and <coption> type fixes (grandfathered into release)	Adam Chlipala	2014-08-19
*	Allow Body tags inside cformTags	Sergey Mironov	2014-08-17
*	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
\|/
*	Add <dl> <dt> <dd> tags	Sergey Mironov	2013-10-07
*	Add xhead type	Sergey Mironov	2013-10-07
*	Add <em> and <strong> tags	Sergey Mironov	2013-10-07
*	Add 'rel' attribute to <a>	Adam Chlipala	2013-08-09
*	Basis.tryRpc	Adam Chlipala	2013-04-16
*	add Placeholder attribute to <password>; change <textbox> code generation to ...	Adam Chlipala	2012-11-30
*	Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a te...	Adam Chlipala	2012-11-28
*	Standard library additions: Option.unsafeGet, Basis.exp	Austin Seipp	2012-11-28
*	show_sql_query	Adam Chlipala	2012-08-22
*	Basis.getenv	Adam Chlipala	2012-08-02
*	Add more global mouse event hooks	Adam Chlipala	2012-07-23
*	Top.postFields	Adam Chlipala	2012-07-21
*	<active>	Adam Chlipala	2012-07-21
*	Basis.giveFocus	Adam Chlipala	2012-07-21
*	New event records for key and mouse handlers	Adam Chlipala	2012-07-21
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
*	Partitioning and ordering for window functions	Adam Chlipala	2012-06-02
*	Compiled a window function use	Adam Chlipala	2012-06-02
*	Track whether SQL expressions may use window functions, in preparation for ac...	Adam Chlipala	2012-06-02
*	'dynStyle' pseudo-attribute	Adam Chlipala	2012-05-06