urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
...
*	Support 'dynClass' and 'dynStyle' for <body>	Adam Chlipala	2015-03-03
\|
*	Add 'download' attribute to <a/>, part of HTML5	Sergey Mironov	2014-10-26
\|
*	A new MonoReduce optimization for lifting 'let' out of field projection; ↵	Adam Chlipala	2015-02-01
\| \| \| \|	JavaScript compilation for exponentiation
*	Client-side conversion of string to bool	Adam Chlipala	2014-12-25
\|
*	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
\|
*	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
\|
*	Added javascript for Basis.strsindex	Samuel Dukhovni	2014-07-28
\|
*	Top.max and Top.min	Adam Chlipala	2014-06-29
\|
*	'sql_injectable_prim' instance for 'url'	Adam Chlipala	2014-06-15
\|
*	Change String to avoid Char dependency	Adam Chlipala	2014-06-11
\|
*	String.trim; add OnChange to more tags	Adam Chlipala	2014-06-10
\|
*	Added HTML5 Semantic Tags	David Snider	2014-05-10
\|
*	Fix dynClass for non-<body> contexts	Adam Chlipala	2014-05-04
\|
*	A .urs comment about [queryL*]	Adam Chlipala	2014-05-03
\|
*	HTML5 data-* attributes	Adam Chlipala	2014-05-02
\|
*	<thead>, <tbody>, <tfoot>	Adam Chlipala	2014-04-30
\|
*	Change <active> to avoid generating an empty <span> for empty content	Adam Chlipala	2014-04-21
\|
*	Add <pre> tag support	Sergey Mironov	2014-02-24
\|
*	Merge with small clean-ups	Adam Chlipala	2014-02-18
\|\
\| *	Add Datetime JavaScript support.	Patrick Hurst	2014-02-17
\| \|
\| *	Merge in upstream changes.	Patrick Hurst	2014-01-18
\| \|\ \| \|/ \|/\|
* \|	Raise exception when recv()ing from someone else's channel; improve setting ↵	Adam Chlipala	2013-12-27
\| \| \| \| \| \| \| \|	of client ID in RPCs
\| *	Add datetime functions for adding time intervals.	Patrick Hurst	2013-12-09
\| \|
\| *	Finish datetime -> t rename	Patrick Hurst	2013-12-08
\| \|
\| *	Rename datetime type to t in the .urs file.	Patrick Hurst	2013-12-08
\| \|
\| *	Add day-of-week/month <-> int conversion functions.	Patrick Hurst	2013-12-07
\| \|
\| *	Day of week functions.	Patrick Hurst	2013-12-05
\| \|
\| *	Basic datetime library.	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
\| \|
* \|	Add JavaScript mappings for isprint and ord	Adam Chlipala	2013-12-09
\| \|
* \|	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
*	Fix more of client-side error handlers	Adam Chlipala	2013-11-14
\|
*	Fix regression in execution of 'onError' handlers	Adam Chlipala	2013-11-14
\|
*	Rename ListPair.map2 to ListPair.mp	Adam Chlipala	2013-11-04
\|
*	ListPair.map2, based on code by escalier@riseup.net	Adam Chlipala	2013-11-03
\|
*	Add <dl> <dt> <dd> tags	Sergey Mironov	2013-10-07
\|