log tests/aborter.ur

age author description
2008-10-24 Adam Chlipala Transactions seem to be working