log tests/hog.ur

age author description
Sun, 12 Dec 2010 10:35:04 -0500 Adam Chlipala Change Basis.debug to use the protocol's debug function
Thu, 14 Oct 2010 11:06:26 -0400 Adam Chlipala Interface for setting memory limits