log tests/initSimple.ur

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