log tests/error.ur

age author description
2008-09-07 Adam Chlipala 'error' function