debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Merge PVar and PWild, to get more reasonable type-class resolution	Adam Chlipala	2016-02-07
\|
*	Unnest properly in presence of kind polymorphism	Adam Chlipala	2015-12-20
\|
*	New lessSafeFfi	Adam Chlipala	2014-05-02
\|
*	Identify more local definitions as functions that should be lifted to the ↵	Adam Chlipala	2013-11-05
\| \| \| \|	top level, which has synergistic effects on inlining later
*	Remove 'class' declaration; now use 'con' instead	Adam Chlipala	2012-07-29
\|
*	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