debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Demo compiles with pattern-matching-fu	Adam Chlipala	2009-05-28
\|
*	Avoid any JavaScript when pages don't need it; update demo prose	Adam Chlipala	2009-03-10
\|
*	Folder generation for functions	Adam Chlipala	2009-02-24
\|
*	Demos compile again, with manual folders	Adam Chlipala	2009-02-24
\|
*	Make folders abstract	Adam Chlipala	2009-02-24
\|
*	demo/sum working with manual folders	Adam Chlipala	2009-02-22
\|
*	Sum prose	Adam Chlipala	2008-10-21
\|
*	Infering sum rows	Adam Chlipala	2008-10-21
\|
*	Sum demo, minus inference of {Unit}s	Adam Chlipala	2008-10-21