urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Support for <meta> tags	Adam Chlipala	2016-05-15
\|
*	Use new refactored urlification in Sqlcache.	Ziv Scully	2015-09-21
\|
*	Merge.	Ziv Scully	2015-03-27
\|\
\| *	Evaluate minus and times in MonoOpt	Adam Chlipala	2015-02-16
\| \|
* \|	Merge.	Ziv Scully	2014-12-11
\|\\|
* \|	Basic field-resolution invalidation.	Ziv Scully	2014-11-29
\| \|
\| *	Optimizing writes of single characters	Adam Chlipala	2014-12-04
\| \|
\| *	MonoOpt: remove concatenation with empty string	Adam Chlipala	2014-12-03
\| \|
\| *	Some more optimization of string expressions showing up in JSON generation ↵	Adam Chlipala	2014-12-03
\|/ \| \| \|	(Meta library)
*	Differentiate between HTML and normal string literals	Adam Chlipala	2014-08-01
\|
*	HTML5 data-* attributes	Adam Chlipala	2014-05-02
\|
*	Basis.getenv	Adam Chlipala	2012-08-02
\|
*	Speed up space eating in MonoOpt	Vladimir Shabanov	2012-05-17
\|
*	Run-time CSS style validation	Adam Chlipala	2012-05-06
\|
*	'style' attributes	Adam Chlipala	2012-05-06
\|
*	First part of changes to avoid depending on C function call argument order ↵	Adam Chlipala	2012-01-07
\| \| \| \|	of evaluation (omitting normal Ur function calls, so far)
*	Fix bug with string literals in unAs	Adam Chlipala	2011-05-30
\|
*	getHeader and setHeader	Adam Chlipala	2011-05-29
\|
*	Each context gets its own non-repeating sequence of source numbers	Adam Chlipala	2011-04-09
\|
*	To generate server-side source JavaScript, try both the old and new ↵	Adam Chlipala	2011-03-28
\| \| \| \|	strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
*	[De]serialization of times in JavaScript; proper integer division in ↵	Adam Chlipala	2010-12-23
\| \| \| \|	JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
*	Basis.cdataChar	Adam Chlipala	2010-12-21
\|
*	Simplify Basis.strcat calls in MonoOpt	Adam Chlipala	2010-11-19
\|
*	Polymorphic variants	Adam Chlipala	2010-08-19
\|
*	URL-escape with '.' instead of '%', to avoid confusing proxies	Adam Chlipala	2010-05-18
\|
*	Tone down Reduce and compensate with a new push-lambda-inside-case rule in ↵	Adam Chlipala	2010-03-02
\| \| \| \|	MonoOpt; expand more Basis synonyms in Monoize
*	Basis.url and redirects	Adam Chlipala	2009-12-10
\|
*	Move to simpler HTML escaping	Adam Chlipala	2009-12-08
\|
*	UTF-8 in dynamic escaping	Adam Chlipala	2009-12-03
\|
*	Escaping UTF-8 in MonoOpt	Adam Chlipala	2009-12-03
\|
*	Optimizing str1 in MonoOpt	Adam Chlipala	2009-11-01
\|
*	Chars working with SQLite	Adam Chlipala	2009-10-22
\|
*	Initial support for char in SQL	Adam Chlipala	2009-10-22
\|
*	Fix some MySQL hijinks	Adam Chlipala	2009-10-12
\|
*	Change string URLification to avoid using the empty string, which confuses ↵	Adam Chlipala	2009-09-12
\| \| \| \|	Apache no2slash()
*	grid1 compiles but gets stuck in JS	Adam Chlipala	2009-08-25
\|
*	Library improvements; proper list [un]urlification; remove server-side ↵	Adam Chlipala	2009-08-09
\| \| \| \|	ServerCalls; eta reduction in type inference
*	MySQL accepts generated demo DDL	Adam Chlipala	2009-07-16
\|
*	MySQL demo/sql succeeds in reading no rows	Adam Chlipala	2009-07-12
\|
*	Redo Jscomp	Adam Chlipala	2009-05-17
\|
*	allow/deny working in Mono_opt	Adam Chlipala	2009-05-02
\|
*	A view query works	Adam Chlipala	2009-04-28
\|
*	Returning a blob as page result	Adam Chlipala	2009-04-26
\|
*	Classes as optional arguments to Basis.tag	Adam Chlipala	2009-04-12
\|
*	URLs	Adam Chlipala	2009-04-09
\|
*	CHECK constraints	Adam Chlipala	2009-04-09
\|
*	Noisy demo	Adam Chlipala	2009-03-10
\|
*	Batch example	Adam Chlipala	2009-03-10
\|
*	Harmonized source-setting between server and client	Adam Chlipala	2008-12-30
\|
*	Handling singnal bind	Adam Chlipala	2008-12-21
\|