debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
\|
*	More diagnostic information about some type class resolution failures	Adam Chlipala	2012-05-04
\|
*	Saving proper environments, to use in displaying nested error messages	Adam Chlipala	2012-04-21
\|
*	Do a lot more type simplification for error messages	Adam Chlipala	2012-04-16
\|
*	Add a new scoping check for unification variables, to fix a type inference bug	Adam Chlipala	2011-12-18
\|
*	Shorter, more focused error messages about undetermined unification variables	Adam Chlipala	2011-10-29
\|
*	Harmonize have/need terminology in error messages; display canceled record ↵	Adam Chlipala	2011-10-27
\| \| \| \|	summaries on errors
*	A few error message improvements	Adam Chlipala	2011-08-02
\|
*	Recursive record unification errors, for more detail	Adam Chlipala	2010-12-23
\|
*	:::_ notation; switch to TooDeep error message	Adam Chlipala	2010-10-10
\|
*	Hopeful fix for the Great Unification Bug	Adam Chlipala	2010-10-10
\|
*	Better record summary error messages; more tweaking SQL usability	Adam Chlipala	2009-12-13
\|
*	Better subSgn error locations	Adam Chlipala	2009-10-15
\|
*	Fix a variable capture bug in nested JavaScript; some more list stuff	Adam Chlipala	2009-06-16
\|
*	Fix a bug in type class enrichment from substructures	Adam Chlipala	2009-06-16
\|
*	Switch to Maranget's pattern exhaustiveness algorithm	Adam Chlipala	2009-05-23
\|
*	Improvements while working on Graftid	Adam Chlipala	2009-05-12
\|
*	More flexible foreign keying	Adam Chlipala	2009-04-09
\|
*	Made type class system very general; demo compiles	Adam Chlipala	2009-04-09
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	Switch to TDisjoint from CDisjoint; still need to implement obligation ↵	Adam Chlipala	2009-02-24
\| \| \| \|	generation at EDisjoint uses
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	Sum prose	Adam Chlipala	2008-10-21
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	foldTR2	Adam Chlipala	2008-09-13