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