log tests/initSimple.urp

age author description
2010-12-18 Adam Chlipala Change tasks to support parametric code; add clientLeaves