Mercurial > urweb

comparison src/urweb.grm @ 2078:6d126af2e1cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some more HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:39:38 -0500
parents 3cd2bd4b1de0
children f05fcb206571
comparison
equal deleted inserted replaced
2077:3cd2bd4b1de0 2078:6d126af2e1cb
220 220
221 fun tagIn bt = 221 fun tagIn bt =
222 case bt of 222 case bt of
223 "table" => "tabl" 223 "table" => "tabl"
224 | "url" => "url_" 224 | "url" => "url_"
225 | "datetime-local" => "datetime_local"
225 | _ => bt 226 | _ => bt
226 227
227 datatype prop_kind = Delete | Update 228 datatype prop_kind = Delete | Update
228 229
229 datatype attr = Class of exp | DynClass of exp | Style of exp | DynStyle of exp | Normal of con * exp | Data of string * string * exp 230 datatype attr = Class of exp | DynClass of exp | Style of exp | DynStyle of exp | Normal of con * exp | Data of string * string * exp