debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Sequences	Adam Chlipala	2008-12-07
\|
*	DML	Adam Chlipala	2008-12-07
\|
*	Finish documenting queries; remove a stray [unit] argument	Adam Chlipala	2008-12-07
\|
*	Start of sql_exp	Adam Chlipala	2008-12-07
\|
*	Start of Ur/Web library	Adam Chlipala	2008-12-06
\|
*	Type inference	Adam Chlipala	2008-12-06
\|
*	Module projection	Adam Chlipala	2008-11-29
\|
*	selfify	Adam Chlipala	2008-11-29
\|
*	Module typing	Adam Chlipala	2008-11-29
\|
*	Signature compatibility	Adam Chlipala	2008-11-29
\|
*	Signature compatibility	Adam Chlipala	2008-11-29
\|
*	Declaration typing	Adam Chlipala	2008-11-29
\|
*	Pattern typing	Adam Chlipala	2008-11-29
\|
*	Typing	Adam Chlipala	2008-11-29
\|
*	Definitional equality	Adam Chlipala	2008-11-29
\|
*	Disjointness	Adam Chlipala	2008-11-29
\|
*	Kinding	Adam Chlipala	2008-11-29
\|
*	Shorthands	Adam Chlipala	2008-11-27
\|
*	Declarations and modules	Adam Chlipala	2008-11-27
\|
*	Expressions	Adam Chlipala	2008-11-27
\|
*	Patterns	Adam Chlipala	2008-11-27
\|
*	Signatures	Adam Chlipala	2008-11-27
\|
*	Start of manual	Adam Chlipala	2008-11-27