debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Merge PVar and PWild, to get more reasonable type-class resolution	Adam Chlipala	2016-02-07
\|
*	Destructing local let, to the point where demo compiles	Adam Chlipala	2009-05-28
\|
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	Add CutMulti	Adam Chlipala	2008-11-11
\|
*	Almost have that nested save function compiling	Adam Chlipala	2008-11-01
\|
*	First Unnest tests working	Adam Chlipala	2008-11-01
\|
*	Replace 'with' with '++'	Adam Chlipala	2008-10-31
\|
*	Sql demo	Adam Chlipala	2008-10-21
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	Termination checking allows anything in links and actions	Adam Chlipala	2008-09-09
\|
*	Termination checking	Adam Chlipala	2008-09-09