debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Datatypes through corify	Adam Chlipala	2008-07-29
*	Add datatype import constructor annotations; datatypes through explify	Adam Chlipala	2008-07-29
*	Record cut	Adam Chlipala	2008-07-24
*	Meta-programming forms	Adam Chlipala	2008-07-22
*	Fix opening and corifying of functors	Adam Chlipala	2008-07-22
*	Simple forms work	Adam Chlipala	2008-07-22
*	Form binding parameters threaded through	Adam Chlipala	2008-07-20
*	Compiled mutual 'val rec'	Adam Chlipala	2008-07-17
*	Corifying (non-mutual) 'val rec'	Adam Chlipala	2008-07-17
*	Explifying (non-mutual) 'val rec'	Adam Chlipala	2008-07-17
*	Closure code generation almost there	Adam Chlipala	2008-07-13
*	Starting with closure links	Adam Chlipala	2008-07-13
*	Remove closure conversion in favor of zany fun with modules, which also repla...	Adam Chlipala	2008-07-13
*	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
*	Explify efold	Adam Chlipala	2008-06-26
*	Corify cfold	Adam Chlipala	2008-06-26
*	Explify cfold	Adam Chlipala	2008-06-26
*	Better FFI function handling	Adam Chlipala	2008-06-22
*	Detecting FFI functions	Adam Chlipala	2008-06-22
*	Start of FFI	Adam Chlipala	2008-06-22
*	Corifying functors	Adam Chlipala	2008-06-19
*	Explifying functors	Adam Chlipala	2008-06-19
*	Corify removes modules	Adam Chlipala	2008-06-19
*	Elaborating module projection	Adam Chlipala	2008-06-17
*	Simple signature matching	Adam Chlipala	2008-06-12
*	Translation to Cjr	Adam Chlipala	2008-06-10
*	Closure conversion	Adam Chlipala	2008-06-10
*	Conversion to Core	Adam Chlipala	2008-06-08