log demo/cookie.urs

age author description
Thu, 06 Nov 2008 12:22:50 -0500 Adam Chlipala Cookie demo code; fix error message display