urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	Fail when requesting a file cache with a database engine that won't do SHA512	Adam Chlipala	2018-06-03
*	'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process	Adam Chlipala	2018-06-03
*	Proper handling of absolute paths for files to serve	Adam Chlipala	2018-01-08
*	New .urp directives: mimeTypes and long form of file	Adam Chlipala	2017-10-01
*	Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations	Adam Chlipala	2017-07-12
*	Option to prefix all user JavaScript FFI functions with a module name (jsModu...	Vladimir Shabanov	2017-06-15
*	Adding support for emitting JS to a given file.	Artyom Shalkhakov	2017-03-07
*	Make JavaScript boolToString use right capitalization	Adam Chlipala	2016-10-21
*	Make HTML5 the default and add 'xhtml' .urp directive	Adam Chlipala	2016-09-20
*	HTTP Last-Modified: latest modtime of source files	Jacob Mitchell	2016-09-07
*	abs and floor added	Karen Sargsyan	2016-05-23
*	asin, acos, atan, atan2 added	Karen Sargsyan	2016-05-22
*	Some basic math functions: pow, sqrt, sin, cos, log, exp are added to work at...	Karen Sargsyan	2016-05-21
*	Support for <meta> tags	Adam Chlipala	2016-05-15
*	Use IS NOT DISTINCT FROM; improve Sql parser	Adam Chlipala	2016-03-12
*	Untagle boot and static flags	Eran Meir	2016-01-02
*	Merge Sqlcache	Adam Chlipala	2015-12-20
\|\
* \|	New .urp directive: jsFile	Adam Chlipala	2015-12-05
* \|	Make daemon mode support sharing of libraries across projects	Adam Chlipala	2015-11-22
\| *	Tweak cache consolidation and choose better default.	Ziv Scully	2015-11-20
\| *	Add consolidation heuristic options.	Ziv Scully	2015-11-19
\| *	Merge.	Ziv Scully	2015-11-12
\| \|\ \| \|/ \|/\|
* \|	JavaScript versions of a few more functions	Adam Chlipala	2015-11-01
* \|	Basis.fromMilliseconds	Adam Chlipala	2015-11-01
\| *	Merge.	Ziv Scully	2015-10-19
\| \|\ \| \|/ \|/\|
* \|	Allow duplicate 'file' directives if paths normalize to same value	Adam Chlipala	2015-10-18
\| *	Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.	Ziv Scully	2015-10-14
\| *	Merge.	Ziv Scully	2015-09-12
\| \|\ \| \|/ \|/\|
* \|	Beautify '-h' output for web servers	Adam Chlipala	2015-08-20
\| *	Merge.	Ziv Scully	2015-05-06
\| \|\ \| \|/ \|/\|
* \|	Allow file directives to contain slashes	Julian Squires	2015-04-24
* \|	New mouse events oncontextmenu, onmouseenter, and onmouseleave.	Ziv Scully	2015-04-07
\| *	New mouse events oncontextmenu, onmouseenter, and onmouseleave.	Ziv Scully	2015-04-07
\| *	Merge.	Ziv Scully	2015-03-27
\| \|\ \| \|/ \|/\|
* \|	Fix interpretation of 'file' argument paths	Adam Chlipala	2015-03-08
* \|	Fix case issue in name mangling for MySQL	Adam Chlipala	2015-01-22
* \|	Client-side conversion of string to bool	Adam Chlipala	2014-12-25
* \|	Broaden handling of wildcard rewrites	Adam Chlipala	2014-12-24
\| *	Complete overhaul: cache queries based on immediate query result, not eventua...	Ziv Scully	2014-10-14
\|/
*	New .urp directive: file	Adam Chlipala	2014-07-31
*	Added javascript for Basis.strsindex	Samuel Dukhovni	2014-07-28
*	Allow '+' char in blessMime	Sergey Mironov	2014-06-05
*	New lessSafeFfi	Adam Chlipala	2014-05-02
*	HTML5 data-* attributes	Adam Chlipala	2014-05-02
*	Add Datetime JavaScript support.	Patrick Hurst	2014-02-17
*	neverInline	Adam Chlipala	2014-02-09
*	Stop quoting Postgres identifiers in 'noMangleSql' mode	Adam Chlipala	2014-01-15
*	Add 'html5' .urp directive	Adam Chlipala	2014-01-09
*	noMangleSql .urp directive	Adam Chlipala	2014-01-04
*	Add some URL-related benignEffectful functions	Adam Chlipala	2014-01-01