summaryrefslogtreecommitdiff
path: root/demo/cookie.ur
Commit message (Expand)AuthorAge
* More fun with cookiesGravatar Adam Chlipala2009-11-26
* Cookie prose; fix bugs that broke demo compilationGravatar Adam Chlipala2008-11-06
* Cookie demo code; fix error message displayGravatar Adam Chlipala2008-11-06