log

age author description
Sat, 03 Mar 2012 16:41:20 -0500 Adam Chlipala Avoid URL size limit in RPCs with large arguments
Sat, 03 Mar 2012 16:20:54 -0500 Adam Chlipala Avoid 'not fully determined' errors for fancy tasks