debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Effectness analysis	Adam Chlipala	2009-04-16
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	Kind-polymorphic [fst] and friends	Adam Chlipala	2009-02-26
\|
*	Demos compile again, with manual folders	Adam Chlipala	2009-02-24
\|
*	Debug reverse-engineering unification	Adam Chlipala	2009-02-21
\|
*	Update Crud demo to use local functions	Adam Chlipala	2008-11-20
\|
*	Tree demo working (and other assorted regressions fixed)	Adam Chlipala	2008-11-06
\|
*	Nested demo	Adam Chlipala	2008-11-04
\|
*	Remove need for '() <-' notation	Adam Chlipala	2008-10-27
\|
*	Crud demo	Adam Chlipala	2008-10-23