debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Some small changes while failing to write [restrict]	Adam Chlipala	2008-11-08
\|
*	Merge CDisjoint and TDisjoint	Adam Chlipala	2008-10-04
\|
*	Name disjointness check changed to case insensitive	Adam Chlipala	2008-09-13
\|
*	queryX	Adam Chlipala	2008-09-13
\|
*	Crud list works	Adam Chlipala	2008-09-11
\|
*	Monoize transaction identifiers; improve disjointness prover on irreducible ↵	Adam Chlipala	2008-08-31
\| \| \| \|	folds; change 'query' type
*	Non-star SELECT	Adam Chlipala	2008-08-14
\|
*	Fancier head normalization pushed inside of Disjoint	Adam Chlipala	2008-07-03
\|
*	Constraints in modules	Adam Chlipala	2008-07-01
\|
*	Disjointness assumptions	Adam Chlipala	2008-07-01
\|
*	Threading disjointness conditions through Elaborate	Adam Chlipala	2008-07-01
\|
*	Initial disjointness prover	Adam Chlipala	2008-07-01