diff src/sources @ 1592:1c9f8f06c1d6

Support the full set of XHTML character entities
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Nov 2011 15:05:13 -0400
parents 9cb923efea4d
children 154cfe2eb366
line wrap: on
line diff
--- a/src/sources	Sat Nov 05 13:12:07 2011 -0400
+++ b/src/sources	Sat Nov 05 15:05:13 2011 -0400
@@ -47,6 +47,11 @@
 
 source.sml
 
+utf8.sig
+utf8.sml
+
+../xml/entities.sml
+
 urweb.grm
 urweb.lex