log tests/sidecheck.ur

age author description
2011-11-14 Adam Chlipala Better error messages about server-side use of client-side functions