log xml/parse.sml

age author description
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg xml/parse: Accept entity files on the command line
Sun, 06 Nov 2011 08:14:53 -0500 Adam Chlipala Remove dummy entity
Sat, 05 Nov 2011 15:05:13 -0400 Adam Chlipala Support the full set of XHTML character entities