debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	:::_ 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
\|
*	Switch to Maranget's pattern exhaustiveness algorithm	Adam Chlipala	2009-05-23
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	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