# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1356962675 18000
# Node ID 184d00f7be74d032cb669e41274f200f1783869b
# Parent  146ec8e90063b93e7658b49d770b0c35a9696aca
Add more HTML singleton tags, anticipating that others may make them available via the FFI

diff -r 146ec8e90063 -r 184d00f7be74 src/monoize.sml
--- 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)