debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	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