debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	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
*	"Hello world" compiles, after replacing type-level fold with map	Adam Chlipala	2009-02-21
\|
*	Optimized ElabOps.subConInCon	Adam Chlipala	2008-11-27
\|
*	Map distributivity rule in hnormCon	Adam Chlipala	2008-11-11
\|
*	Merge CDisjoint and TDisjoint	Adam Chlipala	2008-10-04
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	foldTR2	Adam Chlipala	2008-09-13
\|
*	Fixed a mind-numbing De Bruijn bug	Adam Chlipala	2008-09-11
\|
*	Crud list works	Adam Chlipala	2008-09-11
\|
*	Stub WHERE support	Adam Chlipala	2008-08-16
\|
*	Non-star SELECT	Adam Chlipala	2008-08-14
\|
*	Factor some operations into ElabOps	Adam Chlipala	2008-07-01