comparison src/settings.sml @ 2008:93ff76058825

HTML5 data-* attributes
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 15:32:10 -0400
parents b2254554542f
children 403f0cc65b9c
comparison
equal deleted inserted replaced
2007:d3a0f2b8af28 2008:93ff76058825
307 ("toupper", "toUpper"), 307 ("toupper", "toUpper"),
308 ("ord", "ord"), 308 ("ord", "ord"),
309 309
310 ("checkUrl", "checkUrl"), 310 ("checkUrl", "checkUrl"),
311 ("bless", "bless"), 311 ("bless", "bless"),
312 ("blessData", "blessData"),
312 313
313 ("eq_time", "eq"), 314 ("eq_time", "eq"),
314 ("lt_time", "lt"), 315 ("lt_time", "lt"),
315 ("le_time", "le"), 316 ("le_time", "le"),
316 317