debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	First part of changes to avoid depending on C function call argument order ↵	Adam Chlipala	2012-01-07
\| \| \| \|	of evaluation (omitting normal Ur function calls, so far)
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	Reduce: Inline let-bound variables whose types involve functions	Adam Chlipala	2010-08-22
\|
*	Catch a missed ReduceLocal of field projection annotations	Adam Chlipala	2010-06-13
\|
*	Another run of Specialize, using ReduceLocal on datatype parameters	Adam Chlipala	2010-06-05
\|
*	Some serious bug-fix work to get HTML example to compile; this includes ↵	Adam Chlipala	2010-06-03
\| \| \| \|	fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*	Pushing policies through	Adam Chlipala	2010-04-04
\|
*	Convert to task syntax	Adam Chlipala	2009-12-15
\|
*	Initializers and setval	Adam Chlipala	2009-12-13
\|
*	Shake bug fix; pattern reduction in ReduceLocal	Adam Chlipala	2009-12-08
\|
*	RPC uses VM support for call/cc	Adam Chlipala	2009-10-25
\|
*	Basic tail recursion introduction seems to be working	Adam Chlipala	2009-09-17
\|
*	Convert to requiring explicit 'rpc' marker	Adam Chlipala	2009-08-22
\|
*	A view query works	Adam Chlipala	2009-04-28
\|
*	Classes as optional arguments to Basis.tag	Adam Chlipala	2009-04-12
\|
*	style declarations	Adam Chlipala	2009-04-12
\|
*	Conversion of functions to CPS, to facilitate ServerCall	Adam Chlipala	2009-03-08
\|
*	demo/hello compiles with kind polymorphism	Adam Chlipala	2009-02-22
\|
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	First gimpy RPC	Adam Chlipala	2009-02-15
\|
*	Start of RPCification	Adam Chlipala	2009-02-14
\|
*	Port Reduce improvements to ReduceLocal	Adam Chlipala	2008-11-26
\|
*	Especialize working reasonably well; need to add new closure representation pass	Adam Chlipala	2008-11-09