debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Get a few more source files up-to-date with change to [tag] type	Adam Chlipala	2011-12-28
*	'dynClass' pseudo-attribute	Adam Chlipala	2011-12-27
*	Order constructors properly in wildification, to avoid spuriously displeasing...	Adam Chlipala	2011-12-18
*	Add a new scoping check for unification variables, to fix a type inference bug	Adam Chlipala	2011-12-18
*	Allow .urp libraries to set prefix	Adam Chlipala	2011-12-17
*	SQL lower() and upper() functions	Adam Chlipala	2011-12-17
*	Fix C-side unurlification of unboxable Option datatypes	Adam Chlipala	2011-12-17
*	Treat [naughtyDebug] as pure for optimization purposes	Adam Chlipala	2011-12-05
*	Fix client-side [int] parsing and extend server-side [time] parsing to suppor...	Adam Chlipala	2011-12-04
*	timeFormat .urp directive	Adam Chlipala	2011-12-04
*	Don't crash on invalid URL head terms during Tag	Adam Chlipala	2011-12-03
*	New 't.*' notation for SELECT	Adam Chlipala	2011-12-03
*	Nicer record summary error messages	Adam Chlipala	2011-12-03
*	Change client-side debug to use console.debug	Adam Chlipala	2011-12-03
*	Client-side strlenGe	Adam Chlipala	2011-12-03
*	Better error messages about non-SQL-izability of types	Adam Chlipala	2011-12-03
*	Allow sources to be returned by RPCs	Adam Chlipala	2011-12-03
*	Catching integer divisions by zero	Adam Chlipala	2011-12-03
*	Update Coq semantics for 8.3pl2	Adam Chlipala	2011-11-30
*	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
*	Client-side timef	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
*	Don't treat comment-only lines as blank, in determining split point of .urp f...	Adam Chlipala	2011-11-20
*	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 stringToTime_e...	Adam Chlipala	2011-11-18
*	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
*	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 for...	Adam Chlipala	2011-11-05
*	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 ty...	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 su...	Adam Chlipala	2011-10-27
*	Turn off warnings about deprecated functions, to placate silly OpenSSL change...	Adam Chlipala	2011-10-26
*	Catch UnboundNamed exceptions that arise from missing signature items	Adam Chlipala	2011-10-21
*	Fix parsing conflict	Adam Chlipala	2011-10-15
*	Change error message display order: only show disjointness/type class failure...	Adam Chlipala	2011-10-15