diff meta.urp @ 5:943410267fad

Import Incl and Mem
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Dec 2010 09:49:10 -0500
parents 63697ef80a2c
children 799f43bce62b
line wrap: on
line diff
--- a/meta.urp	Thu Dec 02 12:27:30 2010 -0500
+++ b/meta.urp	Tue Dec 14 09:49:10 2010 -0500
@@ -1,3 +1,5 @@
 $/char
 $/string
 json
+incl
+mem