From 1a5acb4732536e4be288895eb89d139b19aebc94 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 16:41:11 -0400 Subject: New implicit argument handling --- demo/prose | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'demo/prose') diff --git a/demo/prose b/demo/prose index 388dc00c..72c9cb6f 100644 --- a/demo/prose +++ b/demo/prose @@ -7,3 +7,7 @@ hello.urp link.urp

This is my second favorite.

+ +listShop.urp + +

This is my other favorite.

-- cgit v1.2.3