urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
...
*	Better client-side error messages for RPC failures	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
\|
*	Make flattening of reactive HTML trees iterative instead of recursive, to ↵	Adam Chlipala	2015-03-08
\| \| \| \|	avoid stack overflows
*	Fix dynClass JavaScript reversion	Adam Chlipala	2015-03-08
\|
*	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
\| \|