diff src/ur/lib.urp @ 3:ea0ca570c121

Shortcut tag combinators
author Adam Chlipala <adam@chlipala.net>
date Tue, 11 Jan 2011 14:19:51 -0500
parents 8de269c09617
children
line wrap: on
line diff
--- a/src/ur/lib.urp	Tue Jan 11 14:05:34 2011 -0500
+++ b/src/ur/lib.urp	Tue Jan 11 14:19:51 2011 -0500
@@ -6,5 +6,6 @@
 
 $/char
 $/string
+$/option
 $/list
 feed