debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Crud2 demo	Adam Chlipala	2008-10-23
\|
*	Crud demo	Adam Chlipala	2008-10-23
\|
*	Prose for Ref and Metaform	Adam Chlipala	2008-10-23
\|
*	Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵	Adam Chlipala	2008-10-23
\| \| \| \|	prose
*	Metaform demos, minus prose	Adam Chlipala	2008-10-23
\|
*	Fix nasty de Bruijn substitution bug; TcSum demo	Adam Chlipala	2008-10-23
\|
*	Counter demo	Adam Chlipala	2008-10-23
\|
*	Sum prose	Adam Chlipala	2008-10-21
\|
*	Sql demo	Adam Chlipala	2008-10-21
\|
*	Note about demo.sql	Adam Chlipala	2008-10-21
\|
*	ListShop prose	Adam Chlipala	2008-10-21
\|
*	Rec demo	Adam Chlipala	2008-10-21
\|
*	Form example	Adam Chlipala	2008-10-21
\|
*	Hello prose	Adam Chlipala	2008-10-21
\|
*	Intro prose	Adam Chlipala	2008-10-21
\|
*	New implicit argument handling	Adam Chlipala	2008-10-21
\|
*	Demo HTML generation, minus source code	Adam Chlipala	2008-10-19