debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Catching integer divisions by zero	Adam Chlipala	2011-12-03
\|
*	Update Coq semantics for 8.3pl2	Adam Chlipala	2011-11-30
\|
*	Return to working version mode	Adam Chlipala	2011-11-27
\|
*	New release	Adam Chlipala	2011-11-27
\|
*	Switch to YUI strftime	Adam Chlipala	2011-11-26
\|
*	Support 'safeGet' in demos	Adam Chlipala	2011-11-25
\|
*	Fix server-side urlification of custom Option types	Adam Chlipala	2011-11-25
\|
*	Announce sidedness errors with source locations	Adam Chlipala	2011-11-25
\|
*	Tweak error message about Basis.get to use that name instead of internal name	Adam Chlipala	2011-11-24
\|
*	Catch more <ccheckbox> events	Adam Chlipala	2011-11-24
\|
*	Client-side timef	Adam Chlipala	2011-11-24
\|
*	Mention Basis.current in manual	Adam Chlipala	2011-11-24
\|
*	Add LIKE operator to SQL sublanguage.	Karn Kallio	2011-11-23
\|
*	Yet another fix to previous change	Adam Chlipala	2011-11-20
\|
*	Fix bug in previous change	Adam Chlipala	2011-11-20
\|
*	More complete account of URI determination in structure section	Adam Chlipala	2011-11-20
\|
*	Don't treat comment-only lines as blank, in determining split point of .urp ↵	Adam Chlipala	2011-11-20
\| \| \| \|	files
*	COALESCE	Adam Chlipala	2011-11-19
\|
*	Better error messages when client-side constructs are detected in Cjrize	Adam Chlipala	2011-11-19
\|
*	Fix catalog querying about empty tables	Adam Chlipala	2011-11-18
\|
*	Regenerate proper Autotools files; fix JS stringToTime and add ↵	Adam Chlipala	2011-11-18
\| \| \| \|	stringToTime_error
*	Merge	Ron de Bruijn	2011-11-17
\|\
* \|	Add read instance for time on the client	Ron de Bruijn	2011-11-17
\| \|
\| *	Include character encoding in HTTP response headers.	Karn Kallio	2011-11-16
\|/
*	Better error messages about server-side use of client-side functions	Adam Chlipala	2011-11-14
\|
*	Fix completely broken manual description of 'view'	Adam Chlipala	2011-11-14
\|
*	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
\|