log tests/aborter.sql

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