log tests/cookieJsec.urp

age author description
2009-04-23 Adam Chlipala Cookie signatures for RPCs