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
\|
*	Undo an Especialize change that turned out to be unecessary	Adam Chlipala	2010-03-16
\|
*	Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly	Adam Chlipala	2010-03-06
\|
*	Reduce concatenations of the empty record; unpoly non-recursive functions	Adam Chlipala	2010-01-10
\|
*	Inlining threshold for Reduce	Adam Chlipala	2009-10-25
\|
*	Fix a nasty binding bug in CoreUtil	Adam Chlipala	2009-05-14
\|
*	Improving/reordering Unpoly and Especialize; pathmaps	Adam Chlipala	2009-05-14
\|
*	listFun uses length	Adam Chlipala	2008-10-21
\|
*	Crud listing IDs	Adam Chlipala	2008-09-11
\|
*	Unpolyed a polymorphic function of two arguments	Adam Chlipala	2008-09-11
\|
*	Unpoly non-recursive function	Adam Chlipala	2008-09-11