debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Another run of Specialize, using ReduceLocal on datatype parameters	Adam Chlipala	2010-06-05
\|
*	Fix a bug with 'Some p' patterns, where 'p' needs specialization	Adam Chlipala	2009-06-18
\|
*	<dyn> inside <table>; fix Specialize bug with datatype decls generating ↵	Adam Chlipala	2009-06-13
\| \| \| \|	other mutually-recursive datatype decls
*	Some standard library reorgs and additions; handle mutual datatypes better ↵	Adam Chlipala	2009-06-09
\| \| \| \|	in Specialize
*	Mutual datatypes through Effectize	Adam Chlipala	2009-05-16
\|
*	Improvements while working on Graftid	Adam Chlipala	2009-05-12
\|
*	Unpoly non-recursive function	Adam Chlipala	2008-09-11
\|
*	A multi-parameter datatype all the way through	Adam Chlipala	2008-08-09
\|
*	Specialization of single-parameter datatypes	Adam Chlipala	2008-08-08