log tests/cancel.ur

age author description
2011-10-27 Adam Chlipala Harmonize have/need terminology in error messages; display canceled record summaries on errors