log tests/init.urp

age author description
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval