urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Enable -Wunused-parameter	Benjamin Barenblat	2017-08-07
\|
*	Make 'static' protocol commit transactions, to force rewriting of HTML ↵	Adam Chlipala	2017-07-12
\| \| \| \|	documents with JavaScript links, etc.
*	Allow returnBlob and redirect in static protocol	Julian Squires	2015-07-13
\| \| \| \| \| \|	Both of these functions end up returning RETURN_INDIRECTLY, which is assumed to be an error by static.c's main. Treat it as success instead.
*	Set dummy header lookup function in static.c	Adam Chlipala	2015-05-03
\|
*	Define uw_loggers structure, allow FFI code to access it	Sergey Mironov	2014-02-26
\|
*	Update tutorial for Ur/Web changes	Adam Chlipala	2012-09-03
\|
*	First tutorial chapter ready	Adam Chlipala	2011-07-16
\|
*	Make 'static' protocol handle unlimited retry	Adam Chlipala	2011-07-15
\|
*	Generated pretty-printed HTML for a simple tutorial source file	Adam Chlipala	2011-07-15