# HG changeset patch # User Adam Chlipala # Date 1250960118 14400 # Node ID ed06e25c70ef6739b9562b922b4a2040c9e9baaf # Parent 5fe49effbc83e41c11c929aafe11fe1e98917b5e Convert to requiring explicit 'rpc' marker diff -r 5fe49effbc83 -r ed06e25c70ef demo/batch.ur --- a/demo/batch.ur Tue Aug 11 12:01:54 2009 -0400 +++ b/demo/batch.ur Sat Aug 22 12:55:18 2009 -0400 @@ -25,7 +25,8 @@ Nil => | Cons ((id, a), ls) => {[id]} {[a]} {if withDel then -

Batch new rows to add

Batch new rows to add

{[r.T.Title]}