urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	unsafeSerialized[To\|From]String	Adam Chlipala	2018-10-19
*	Adding: cradio (support for client-side radio box).	Artyom Shalkhakov	2018-05-28
*	Handle empty SELECT clauses	Adam Chlipala	2018-03-13
*	Added oninput event to inputs which support it.	Vladimir Shabanov	2017-12-05
*	Use 'id' attribute for <form>	Adam Chlipala	2016-12-31
*	Support for <meta> tags	Adam Chlipala	2016-05-15
*	Use IS NOT DISTINCT FROM; improve Sql parser	Adam Chlipala	2016-03-12
*	Merge PVar and PWild, to get more reasonable type-class resolution	Adam Chlipala	2016-02-07
*	Merge.	Ziv Scully	2015-11-12
\|\
\| *	Change behavior of SQL equality to do the intuitive thing for nullable types	Adam Chlipala	2015-11-01
* \|	Fix another mismatch between expunger SQL generation and SQL parser.	Ziv Scully	2015-10-13
* \|	Fix SQL-parsing and declaration-ordering bugs.	Ziv Scully	2015-09-30
* \|	Pure caching sort of works.	Ziv Scully	2015-09-27
* \|	Use new refactored urlification in Sqlcache.	Ziv Scully	2015-09-21
* \|	Factor out urlification.	Ziv Scully	2015-09-21
* \|	Factor out [Monoize.Fm] to make it accessible to [Sqlcache].	Ziv Scully	2015-09-21
* \|	Revert to revision 2222.	Ziv Scully	2015-09-21
* \|	Make Mono.file a record for readability upon extension.	Ziv Scully	2015-09-13
* \|	Merge.	Ziv Scully	2015-07-19
\|\\|
\| *	Tag NULLs with their types in SQL, to help the DBMS do type inference	Adam Chlipala	2015-07-04
\| *	Do not explicitly return false from onclick handler	Julian Squires	2015-05-07
* \|	Merge.	Ziv Scully	2015-05-06
\|\\|
\| *	Fix missing SQL name-mangling in table initialization	Istvan Chung	2015-04-23
* \|	Merge.	Ziv Scully	2015-03-27
\|\\|
\| *	Support 'dynClass' and 'dynStyle' for <body>	Adam Chlipala	2015-03-03
* \|	Merge.	Ziv Scully	2014-12-11
\|\ \
* \| \|	Remove Sqlcache urlification hack.	Ziv Scully	2014-11-29
* \| \|	Basic field-resolution invalidation.	Ziv Scully	2014-11-29
* \| \|	Merge.	Ziv Scully	2014-11-24
\|\ \ \
\| \| \| *	Don't allow singleton <button> tags	Adam Chlipala	2015-02-01
\| \| \| *	Fix XML syntax for closing <input> tags	Adam Chlipala	2014-12-18
\| \| \|/
\| \| *	More aggressive inlining of 'let' with record literals, plus some changes to ...	Adam Chlipala	2014-12-04
\| \|/
\| *	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
* \|	Complete overhaul: cache queries based on immediate query result, not eventua...	Ziv Scully	2014-10-14
\| *	HTML5 input attributes: placeholder, required, autofocus; email input type (w...	Sergey Mironov	2014-10-12
\|/
*	Adds AJAX-oriented widget cpassword.	Ziv Scully	2014-08-10
*	Differentiate between HTML and normal string literals	Adam Chlipala	2014-08-01
*	'aria-*' attributes	Adam Chlipala	2014-08-01
*	'sql_injectable_prim' instance for 'url'	Adam Chlipala	2014-06-15
*	Treat <button> 'value' attribute as content of tag	Adam Chlipala	2014-06-13
*	Remove special treatment of <button>	Adam Chlipala	2014-06-09
*	Fix dynClass for non-<body> contexts	Adam Chlipala	2014-05-04
*	HTML5 data-* attributes	Adam Chlipala	2014-05-02
*	Fix a bug in GROUP BY generation [keeping within today's release]	Adam Chlipala	2014-04-26
*	noMangleSql .urp directive	Adam Chlipala	2014-01-04
*	Compile-time error for periodic tasks in nonpersistent protocols	Adam Chlipala	2013-12-29
*	Change handling of returned text blobs, to activate the normal EWrite optimiz...	Adam Chlipala	2013-12-11