http://hg.impredicative.com/urweb/atom-log/tip/tests/transactional.ursUr/Web: tests/transactional.urs history2010-12-04T11:15:20-05:00New argument to transactional free functions, to specify whether we are about to retryhttp://hg.impredicative.com/urweb/#changeset-1cc67fdac4d3c44de91c86a7f16c29c930b8d1faAdam Chlipalaadam@chlipala.net2010-12-04T11:15:20-05:002010-12-04T11:15:20-05:00
changeset
1cc67fdac4d3
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
New argument to transactional free functions, to specify whether we are about to retry