debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Fix soundness bug in Effectize, which lead to missing effects in event handlers	Adam Chlipala	2011-03-18
\|
*	Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat ↵	Adam Chlipala	2011-03-10
\| \| \| \|	carriage returns at line ends in .urp files
*	queryString and effectfulUrl	Adam Chlipala	2010-12-26
\|
*	Fix soundness bug in Effectize, where it missed some functions that might ↵	Adam Chlipala	2010-12-23
\| \| \| \|	have effectful RPCs
*	postBody type	Adam Chlipala	2010-12-18
\|
*	safeGet	Adam Chlipala	2010-03-09
\|
*	Basis.serialize; separate file for mhash; run transactional finishers in ↵	Adam Chlipala	2009-12-31
\| \| \| \|	reverse order; set needs_sig properly
*	RPC uses VM support for call/cc	Adam Chlipala	2009-10-25
\|
*	Convert to requiring explicit 'rpc' marker	Adam Chlipala	2009-08-22
\|
*	Make Effectize more precise	Adam Chlipala	2009-05-05
\|
*	Successfully influenced effectful-ness status of FFI func	Adam Chlipala	2009-05-02
\|
*	Only use cookie signatures when cookies might be read	Adam Chlipala	2009-04-23
\|
*	Effectness analysis	Adam Chlipala	2009-04-16