From 24777c2dc9b6ea0f3db24ae372be2af0c3f70602 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 6 Nov 2008 12:46:45 -0500
Subject: Cookie prose; fix bugs that broke demo compilation

---
 demo/prose | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'demo/prose')

diff --git a/demo/prose b/demo/prose
index 06c47722..fad98e26 100644
--- a/demo/prose
+++ b/demo/prose
@@ -58,6 +58,12 @@ nested.urp
 
 <p>Here is an implementation of the tiny challenge problem from <a href="http://www.accursoft.co.uk/web/">this web framework comparison</a>.  Using nested function definitions, it is easy to persist state across clicks.</p>
 
+cookie.urp
+
+<p>Often, it is useful to associate persistent data with particular web clients.  Ur/Web includes an easy facility for using type-safe cookies.  This example shows how to use a form to set a named cookie.</p>
+
+<p>After setting the cookie, try browsing back to this demo from the main index.  The data you entered should still be there.</p>
+
 listShop.urp
 
 <p>This example shows off algebraic datatypes, parametric polymorphism, and functors.</p>
-- 
cgit v1.2.3