debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Small tweaks to update demos for record unification change	Adam Chlipala	2010-12-15
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Changing foldRX to mapX	Adam Chlipala	2010-02-28
\|
*	Make summary unification more conservative; infer implicit arguments after ↵	Adam Chlipala	2009-12-26
\| \| \| \|	applications
*	Adapted existing demos to tuple pattern-matching	Adam Chlipala	2009-10-20
\|
*	Convert to requiring explicit 'rpc' marker	Adam Chlipala	2009-08-22
\|
*	Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; ↵	Adam Chlipala	2009-06-02
\| \| \| \|	Monad library module
*	Demo compiles with pattern-matching-fu	Adam Chlipala	2009-05-28
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	BatchG demo	Adam Chlipala	2009-03-10