debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
\|
*	Track whether SQL expressions may use window functions, in preparation for ↵	Adam Chlipala	2012-06-02
\| \| \| \|	actual window function support
*	Update demo/more for simplified implicit arguments	Adam Chlipala	2011-07-06
\|
*	Tweaking unification fix to apply to demo/more	Adam Chlipala	2010-10-10
\|
*	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
\|
*	Initial Orm1 demo	Adam Chlipala	2009-10-06
\|
*	Fix a de Bruijn index bug in map fusion	Adam Chlipala	2009-10-06
\|
*	Orm searching	Adam Chlipala	2009-10-05
\|
*	Basic CRUD operations in Orm	Adam Chlipala	2009-10-05
\|
*	Better location calculation for record unification error messages; infer ↵	Adam Chlipala	2009-10-05
	kind arguments to module-projected variables