log tests/init.ur

age author description
2010-12-18 Adam Chlipala Change tasks to support parametric code; add clientLeaves
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval