urweb - functional programming language for web programming

	Commit message (Collapse)	Author	Age
*	Remove dummy entity	Adam Chlipala	2011-11-06
\|
*	Support the full set of XHTML character entities	Adam Chlipala	2011-11-05
\|
*	Tweaks to choices of source positions to use in error messages, including ↵	Adam Chlipala	2011-11-05
\| \| \| \|	for subSgn
*	Adjust for different ml-lex behavior between SML/NJ and MLton	Adam Chlipala	2011-11-05
\|
*	Strengthen consNeq, to avoid unwise unifications	Adam Chlipala	2011-11-05
\|
*	Fix confusing error message when record unification fails because enclosed ↵	Adam Chlipala	2011-11-05
\| \| \| \|	types are incompatible
*	Fix SQL grammar bug in manual	Adam Chlipala	2011-11-05
\|
*	Remove debug print	Adam Chlipala	2011-11-02
\|
*	Handle application in decompileCon	Adam Chlipala	2011-11-02
\|
*	Shorter, more focused error messages about undetermined unification variables	Adam Chlipala	2011-10-29
\|
*	Clear reducedSummaries	Adam Chlipala	2011-10-28
\|
*	Harmonize have/need terminology in error messages; display canceled record ↵	Adam Chlipala	2011-10-27
\| \| \| \|	summaries on errors
*	Turn off warnings about deprecated functions, to placate silly OpenSSL ↵	Adam Chlipala	2011-10-26
\| \| \| \|	change for OS X
*	Catch UnboundNamed exceptions that arise from missing signature items	Adam Chlipala	2011-10-21
\|
*	Note a parsing restriction in the manual	Adam Chlipala	2011-10-21
\|
*	Some notes on 'T' for update/delete combinators	Adam Chlipala	2011-10-20
\|
*	Fix parsing conflict	Adam Chlipala	2011-10-15
\|
*	Change error message display order: only show disjointness/type class ↵	Adam Chlipala	2011-10-15
\| \| \| \|	failures if all record unifications succeeded
*	Improved unification of record literals in type class resolution	Adam Chlipala	2011-10-15
\|
*	Extend and document 'con' syntax with arguments	Adam Chlipala	2011-10-15
\|
*	For new IF, fix Monoize typing and add to manual	Adam Chlipala	2011-10-15
\|
*	IF THEN ELSE conditional for SQL.	Karn Kallio	2011-10-14
\|
*	Primitive int/float functions: ceil, float, round, trunc	Adam Chlipala	2011-10-08
\|
*	Fix wildification for signatures with synonyms	Adam Chlipala	2011-10-08
\|
*	Merge	Adam Chlipala	2011-10-06
\|\
* \|	Basis.null	Adam Chlipala	2011-10-06
\| \|
\| *	Fix searching for underscore elements in PDF files.	Ron de Bruijn	2011-09-30
\| \|
* \|	Tweaked Emacs mode to handle many "->" faster.	Vladimir Shabanov	2011-09-26
\| \|
* \|	Minor tweak to speed up Emacs mode.	Vladimir Shabanov	2011-09-26
\|/
*	Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL ↵	Austin Seipp	2011-09-23
\| \| \| \|	connection string.
*	Resugar tag names before printing parse errors	Adam Chlipala	2011-09-22
\|
*	Return to working version mode	Adam Chlipala	2011-09-17
\|
*	New release	Adam Chlipala	2011-09-17
\|
*	Added 'target' attribute for 'a' tag.	Vladimir Shabanov	2011-09-12
\|
*	New Basis functions: preventDefault and stopPropagation (code contributed by ↵	Adam Chlipala	2011-09-11
\| \| \| \|	Vladimir Shabanov)
*	Disable C optimization in debug mode	Adam Chlipala	2011-09-11
\|
*	Switch type of 'for' attribute	Adam Chlipala	2011-09-03
\|
*	An abstract type of IDs	Adam Chlipala	2011-09-03
\|
*	New client-side, document-level event handlers	Adam Chlipala	2011-09-03
\|
*	Better detection of type class witnesses in local bindings	Adam Chlipala	2011-09-03
\|
*	Even gentler handling of back-button returns to pages with stale ↵	Adam Chlipala	2011-08-28
\| \| \| \|	message-passing credentials
*	Gentle handling of back-button returns to pages with stale message-passing ↵	Adam Chlipala	2011-08-28
\| \| \| \|	credentials
*	Warn about concurrency issues with message-passing	Adam Chlipala	2011-08-28
\|
*	Postgres deadlock triggers unlimited retry	Adam Chlipala	2011-08-28
\|
*	Gracefully accept browser's refusal to let us set certain AJAX headers	Adam Chlipala	2011-08-26
\|
*	Document monadic shorthands	Adam Chlipala	2011-08-24
\|
*	Fix another list unurlification segfault bug; List.foldlMi	Adam Chlipala	2011-08-21
\|
*	Add prototypes for [un]urlification functions	Adam Chlipala	2011-08-21
\|
*	Fix crash in list unurlification	Adam Chlipala	2011-08-21
\|
*	Basis.mkMonad	Adam Chlipala	2011-08-19
\|