Mercurial > urweb

comparison src/urweb.grm @ 2077:3cd2bd4b1de0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More simple textual HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:16:11 -0500
parents fde864eacd47
children 6d126af2e1cb
comparison
equal deleted inserted replaced
2076:855d7746a084 2077:3cd2bd4b1de0
219 val inDml = ref false 219 val inDml = ref false
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 | _ => bt 225 | _ => bt
225 226
226 datatype prop_kind = Delete | Update 227 datatype prop_kind = Delete | Update
227 228
228 datatype attr = Class of exp | DynClass of exp | Style of exp | DynStyle of exp | Normal of con * exp | Data of string * string * exp 229 datatype attr = Class of exp | DynClass of exp | Style of exp | DynStyle of exp | Normal of con * exp | Data of string * string * exp