log tests/hog.ur

age author description
2010-12-12 Adam Chlipala Change Basis.debug to use the protocol's debug function
2010-10-14 Adam Chlipala Interface for setting memory limits