log src/sources

age author description
2011-11-14 Adam Chlipala Better error messages about server-side use of client-side functions
2011-11-05 Adam Chlipala Support the full set of XHTML character entities