debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	Checkboxes	Adam Chlipala	2008-08-07
\|
*	Datatype representation optimization	Adam Chlipala	2008-08-03
\|
*	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
\|
*	Cjrize ECon	Adam Chlipala	2008-08-03
\|
*	Storing datatype constructors in type references past monoize	Adam Chlipala	2008-07-29
\|
*	Unurlifying a datatype; longjmp-based error signaling mechanism	Adam Chlipala	2008-07-29
\|
*	Start of unurlify for datatypes	Adam Chlipala	2008-07-29
\|
*	Datatypes through cjrize, modulo decoding	Adam Chlipala	2008-07-29
\|
*	Simple forms work	Adam Chlipala	2008-07-22
\|
*	Almost ready to have a form work	Adam Chlipala	2008-07-20
\|
*	Dynamic arena allocation	Adam Chlipala	2008-07-17
\|
*	Compiled (non-mutual) 'val rec'	Adam Chlipala	2008-07-17
\|
*	Multiple arguments to web functions	Adam Chlipala	2008-07-13
\|
*	Passing an argument to a web function	Adam Chlipala	2008-07-13
\|
*	Proper handling of non-function-call links	Adam Chlipala	2008-07-13
\|
*	Serving pages	Adam Chlipala	2008-07-13
\|
*	Basic web server	Adam Chlipala	2008-07-13
\|
*	Cjr ready for dispatch code generation	Adam Chlipala	2008-07-13
\|
*	Remove closure conversion in favor of zany fun with modules, which also ↵	Adam Chlipala	2008-07-13
\| \| \| \|	replaces 'page'
*	More with attributes and efficient serialization	Adam Chlipala	2008-07-10
\|
*	Writing HTML	Adam Chlipala	2008-07-10
\|
*	First executable generated	Adam Chlipala	2008-07-10
\|
*	FFI through cjrize	Adam Chlipala	2008-06-22
\|
*	Simple signature matching	Adam Chlipala	2008-06-12
\|
*	Translation to Cjr	Adam Chlipala	2008-06-10