Mercurial > urweb
log tests/transactional.urs
age | author | description |
---|---|---|
2010-12-04 | Adam Chlipala | New argument to transactional free functions, to specify whether we are about to retry |
age | author | description |
---|---|---|
2010-12-04 | Adam Chlipala | New argument to transactional free functions, to specify whether we are about to retry |