log tests/cancel2.ur

age author description
Sun, 22 Apr 2012 09:18:21 -0400 Adam Chlipala Another test for cancelation in error messages