log tests/hog.urp

age author description
2010-12-11 Adam Chlipala minHeap option in .urp files
2010-10-14 Adam Chlipala Interface for setting memory limits