From b8e7b835e7cde4cf374138467da8b16e93a65eb9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 10 Mar 2009 15:17:23 -0400
Subject: Batch example

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

(limited to 'demo/prose')

diff --git a/demo/prose b/demo/prose
index 7555b490..dd764ae4 100644
--- a/demo/prose
+++ b/demo/prose
@@ -209,3 +209,7 @@ listEdit.urp
 increment.urp
 
 <p>Here's an example where client-side code needs to run more code on the server.  We maintain a (server-side) SQL sequence.  When the user clicks a button, an AJAX request increments the remote sequence and gets the new value.</p>
+
+batch.urp
+
+<p>This example shows more of what is possible with mixed client/server code.  The application is an editor for a simple database table, where additions of new rows can be batched in the client, before a button is clicked to trigger a mass addition.</p>
-- 
cgit v1.2.3