changeset 1841:184d00f7be74

Add more HTML singleton tags, anticipating that others may make them available via the FFI
author Adam Chlipala <adam@chlipala.net>
date Mon, 31 Dec 2012 09:04:35 -0500 (2012-12-31)
parents 146ec8e90063
children 052c5eedc9ea
files src/monoize.sml
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/monoize.sml	Thu Dec 27 15:34:11 2012 -0500
+++ b/src/monoize.sml	Mon Dec 31 09:04:35 2012 -0500
@@ -90,7 +90,12 @@
                               "hr",
                               "input",
                               "button",
-                              "img"])
+                              "img",
+                              "base",
+                              "meta",
+                              "param",
+                              "area",
+                              "col"])
 
 val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan)