debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	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
\|
*	Inlining threshold for Mono_reduce	Adam Chlipala	2009-10-25
\|
*	Fix EDLet elab_util bug	Adam Chlipala	2009-05-28
\|
*	Destructing local let, to the point where demo compiles	Adam Chlipala	2009-05-28
\|
*	A view query works	Adam Chlipala	2009-04-28
\|
*	style declarations	Adam Chlipala	2009-04-12
\|
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	More ThreadedBlog progress	Adam Chlipala	2008-11-11
\|
*	Get threadedBlog to work	Adam Chlipala	2008-11-11
\|
*	Cookies through elaborate	Adam Chlipala	2008-11-06
\|
*	Nested demo	Adam Chlipala	2008-11-04
\|
*	Almost have that nested save function compiling	Adam Chlipala	2008-11-01
\|
*	Wrapping works in Blog	Adam Chlipala	2008-11-01
\|
*	First Unnest tests working	Adam Chlipala	2008-11-01