summaryrefslogtreecommitdiff
path: root/tests/transact.urs
Commit message (Collapse)AuthorAge
* New argument to transactional free functions, to specify whether we are ↵Gravatar Adam Chlipala2010-12-04
about to retry