log tests/undet.ur

age author description
2011-08-02 Adam Chlipala A few error message improvements