comparison src/monoize.sml @ 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
parents 146ec8e90063
children c1e3805e604e
comparison
equal deleted inserted replaced
1840:146ec8e90063 1841:184d00f7be74
88 "br", 88 "br",
89 "p", 89 "p",
90 "hr", 90 "hr",
91 "input", 91 "input",
92 "button", 92 "button",
93 "img"]) 93 "img",
94 "base",
95 "meta",
96 "param",
97 "area",
98 "col"])
94 99
95 val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan) 100 val dummyTyp = (L'.TDatatype (0, ref (L'.Enum, [])), E.dummySpan)
96 101
97 structure U = MonoUtil 102 structure U = MonoUtil
98 103