debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Hopeful fix for the Great Unification Bug	Adam Chlipala	2010-10-10
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Tone down Reduce and compensate with a new push-lambda-inside-case rule in ↵	Adam Chlipala	2010-03-02
\| \| \| \|	MonoOpt; expand more Basis synonyms in Monoize
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	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
\|
*	Demos compile again, with manual folders	Adam Chlipala	2009-02-24
\|
*	Metaform demos, minus prose	Adam Chlipala	2008-10-23