debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Corify removes modules	Adam Chlipala	2008-06-19
\|
*	Explify	Adam Chlipala	2008-06-19
\|
*	Simple signature matching	Adam Chlipala	2008-06-12
\|
*	Translation to Cjr	Adam Chlipala	2008-06-10
\|
*	Closure conversion	Adam Chlipala	2008-06-10
\|
*	Monoize	Adam Chlipala	2008-06-10
\|
*	Tree-shaking	Adam Chlipala	2008-06-08
\|
*	Some con reducing	Adam Chlipala	2008-06-08
\|
*	Conversion to Core	Adam Chlipala	2008-06-08
\|
*	Elaborating files	Adam Chlipala	2008-01-26
\|
*	Rename Laconic* modules to Source*	Adam Chlipala	2008-01-26
\|
*	Initial parsing and pretty-printing	Adam Chlipala	2008-01-26