debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	bool in Basis	Adam Chlipala	2008-08-03
\|
*	FFI datatypes	Adam Chlipala	2008-08-03
\|
*	Compiled pattern matching to C	Adam Chlipala	2008-08-03
\|
*	Case through corify	Adam Chlipala	2008-08-02
\|
*	Datatypes through corify	Adam Chlipala	2008-07-29
\|
*	Record cut	Adam Chlipala	2008-07-24
\|
*	Simple forms work	Adam Chlipala	2008-07-22
\|
*	Corifying (non-mutual) 'val rec'	Adam Chlipala	2008-07-17
\|
*	Starting with closure links	Adam Chlipala	2008-07-13
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	Writing HTML	Adam Chlipala	2008-07-10
\|
*	page declaration, up through monoize	Adam Chlipala	2008-07-10
\|
*	Push KUnit and CUnit through the phases	Adam Chlipala	2008-07-01
\|
*	Corify efold	Adam Chlipala	2008-06-26
\|
*	Corify cfold	Adam Chlipala	2008-06-26
\|
*	Start of FFI	Adam Chlipala	2008-06-22
\|
*	Corify removes modules	Adam Chlipala	2008-06-19
\|
*	Simple signature matching	Adam Chlipala	2008-06-12
\|
*	Translation to Cjr	Adam Chlipala	2008-06-10
\|
*	Closure conversion	Adam Chlipala	2008-06-10
\|
*	Beta reductions for expressions	Adam Chlipala	2008-06-08
\|
*	Some con reducing	Adam Chlipala	2008-06-08
\|
*	Conversion to Core	Adam Chlipala	2008-06-08