log tests/updateErr.ur

age author description
Thu, 14 Nov 2013 06:36:36 -0500 Adam Chlipala Fix more of client-side error handlers
Thu, 16 Apr 2009 13:47:20 -0400 Adam Chlipala Some client-side error handling