log demo/cookie.ur

age author description
2009-11-26 Adam Chlipala More fun with cookies
2008-11-06 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
2008-11-06 Adam Chlipala Cookie demo code; fix error message display