debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	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