debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Give functor.lac a 'main'	Adam Chlipala	2008-06-19
\|
*	Corifying functors	Adam Chlipala	2008-06-19
\|
*	Elaborating functor applications	Adam Chlipala	2008-06-19
\|
*	Subtyping for functor signatures	Adam Chlipala	2008-06-19
\|
*	Elaborating 'where'	Adam Chlipala	2008-06-19
\|
*	Beginning of functor elaboration	Adam Chlipala	2008-06-19
\|
*	Functor parsing	Adam Chlipala	2008-06-19