debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	Cookies work across pages	Adam Chlipala	2008-11-06
\|
*	Cookie prose; fix bugs that broke demo compilation	Adam Chlipala	2008-11-06
\|
*	Cookie demo code; fix error message display	Adam Chlipala	2008-11-06
\|
*	Reading cookies works	Adam Chlipala	2008-11-06
\|
*	Setting a cookie	Adam Chlipala	2008-11-06
\|
*	Cookies through shake2	Adam Chlipala	2008-11-06
\|
*	Cookies through explify	Adam Chlipala	2008-11-06
\|
*	Cookies through elaborate	Adam Chlipala	2008-11-06
\|
*	Avoid allocating strings for requestHeader	Adam Chlipala	2008-11-06
\|
*	Request header reading works	Adam Chlipala	2008-11-06
\|
*	Monoizing FFI transactions correctly	Adam Chlipala	2008-11-06
\|
*	Nested demo	Adam Chlipala	2008-11-04
\|
*	Nested save compiles	Adam Chlipala	2008-11-01
\|
*	Almost have that nested save function compiling	Adam Chlipala	2008-11-01
\|
*	Fix some type-class detection	Adam Chlipala	2008-11-01
\|
*	Remove empty writes	Adam Chlipala	2008-11-01
\|
*	Wrapping works in Blog	Adam Chlipala	2008-11-01
\|
*	Explify 'let'	Adam Chlipala	2008-11-01
\|
*	First Unnest tests working	Adam Chlipala	2008-11-01
\|
*	Elaborating 'let'	Adam Chlipala	2008-11-01
\|
*	Parsing 'let'	Adam Chlipala	2008-11-01
\|
*	Replace 'with' with '++'	Adam Chlipala	2008-10-31
\|
*	Remove _espec tag; add some tag fields	Adam Chlipala	2008-10-30
\|
*	Especialize	Adam Chlipala	2008-10-30
\|
*	Don't inline case expressions	Adam Chlipala	2008-10-30
\|
*	CURRENT_TIMESTAMP	Adam Chlipala	2008-10-30
\|
*	Time MIN/MAX	Adam Chlipala	2008-10-30
\|
*	Marshaling time to SQL	Adam Chlipala	2008-10-30
\|
*	Reading timestamps from SQL	Adam Chlipala	2008-10-30
\|
*	Add time to some type classes	Adam Chlipala	2008-10-30
\|
*	time type	Adam Chlipala	2008-10-30
\|
*	GCCARGS configure option	Adam Chlipala	2008-10-28
\|
*	Remove need for '() <-' notation	Adam Chlipala	2008-10-27
\|
*	Switch exit(1) call to uw_error()	Adam Chlipala	2008-10-27
\|
*	Avoid using libpq when unneeded	Adam Chlipala	2008-10-26
\|
*	Change 'sed' invocation to work in OSX	Adam Chlipala	2008-10-25
\|
*	mkdir -p BIN	Adam Chlipala	2008-10-25
\|
*	Use configure --prefix	Adam Chlipala	2008-10-25
\|
*	Make *_w function prototypes match header file	Unknown	2008-10-24
\|
*	Add 'package' make target; add LICENSE	Adam Chlipala	2008-10-24
\|
*	Remove debug print for optional inputs	Adam Chlipala	2008-10-24
\|
*	Properly freeing libpq results on errors	Adam Chlipala	2008-10-24
\|
*	Transactions seem to be working	Adam Chlipala	2008-10-24
\|
*	Stop including functors in paths	Adam Chlipala	2008-10-24
\|
*	Crud2 demo	Adam Chlipala	2008-10-23
\|
*	Crud demo	Adam Chlipala	2008-10-23
\|
*	Prose for Ref and Metaform	Adam Chlipala	2008-10-23
\|
*	Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵	Adam Chlipala	2008-10-23
\| \| \| \|	prose
*	Metaform demos, minus prose	Adam Chlipala	2008-10-23
\|
*	Fix nasty de Bruijn substitution bug; TcSum demo	Adam Chlipala	2008-10-23
\|