debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Profiling in Makefile	Adam Chlipala	2008-11-25
\|
*	Fusing writes with recursive function calls	Adam Chlipala	2008-11-25
\|
*	Ignore SIGPIPE	Adam Chlipala	2008-11-23
\|
*	Update CHANGELOG for 20081120	Adam Chlipala	2008-11-20
\|
*	Fixing demo prose	Adam Chlipala	2008-11-20
\|
*	Profiling support	Adam Chlipala	2008-11-20
\|
*	Some demo improvements	Adam Chlipala	2008-11-20
\|
*	Fix missing initial <html> after restarts	Adam Chlipala	2008-11-20
\|
*	Update Crud demo to use local functions	Adam Chlipala	2008-11-20
\|
*	Extend prose about server .exes	Adam Chlipala	2008-11-18
\|
*	Tag CHANGELOG with release number	Adam Chlipala	2008-11-18
\|
*	Mention Especialize in CHANGELOG	Adam Chlipala	2008-11-18
\|
*	Fix type calculation for applying-a-case optimization	Adam Chlipala	2008-11-11
\|
*	Map distributivity rule in hnormCon	Adam Chlipala	2008-11-11
\|
*	Add CutMulti	Adam Chlipala	2008-11-11
\|
*	Handle nullary transaction pages; avoid marking up headers array when ↵	Adam Chlipala	2008-11-11
\| \| \| \|	reading cookies
*	Fix demo regression	Adam Chlipala	2008-11-11
\|
*	More ThreadedBlog progress	Adam Chlipala	2008-11-11
\|
*	Ignore UseRel effects in [let] expansions	Adam Chlipala	2008-11-11
\|
*	Get preliminary ThreadedBlog working	Adam Chlipala	2008-11-11
\|
*	Get threadedBlog to work	Adam Chlipala	2008-11-11
\|
*	Remove some allocation	Adam Chlipala	2008-11-09
\|
*	Prevent overzealous Especialization	Adam Chlipala	2008-11-09
\|
*	Defunctionalization gets CommentBlog working	Adam Chlipala	2008-11-09
\|
*	Remove an extra line	Adam Chlipala	2008-11-09
\|
*	Especialize working reasonably well; need to add new closure representation pass	Adam Chlipala	2008-11-09
\|
*	Better detection of [let] substitution opportunities	Adam Chlipala	2008-11-08
\|
*	Especialize handles records better	Adam Chlipala	2008-11-08
\|
*	Broaden set of possible especializations	Adam Chlipala	2008-11-08
\|
*	Some small changes while failing to write [restrict]	Adam Chlipala	2008-11-08
\|
*	Add help text for generated web servers	Adam Chlipala	2008-11-08
\|
*	Handle EError returning a function; handle multiple cookies in one input header	Adam Chlipala	2008-11-08
\|
*	Fix parsing of last input header	Adam Chlipala	2008-11-08
\|
*	[getCookie] reads cookie settings from current page generation	Adam Chlipala	2008-11-08
\|
*	Resolve all tag named in [Basis]; deal with C compilation failure without ↵	Adam Chlipala	2008-11-08
\| \| \| \|	leaving /tmp files
*	Generated web servers use getopt()	Adam Chlipala	2008-11-08
\|
*	Tree demo working (and other assorted regressions fixed)	Adam Chlipala	2008-11-06
\|
*	Tree demo works	Adam Chlipala	2008-11-06
\|
*	About to begin optimization of recursive transaction functions	Adam Chlipala	2008-11-06
\|
*	Ensql'ing nullables	Adam Chlipala	2008-11-06
\|
*	Inserted a NULL value	Adam Chlipala	2008-11-06
\|
*	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
\|