log tests/transactional.urp

age author description
2010-12-04 Adam Chlipala New argument to transactional free functions, to specify whether we are about to retry