comparison src/settings.sml @ 907:5fe49effbc83

JavaScript urlifying of bools; correct Link attribute escaping
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Aug 2009 12:01:54 -0400
parents ae9e22822ec5
children 771449d8b411
comparison
equal deleted inserted replaced
906:c270fb847dc2 907:5fe49effbc83
141 ("stringToFloat_error", "pfl"), 141 ("stringToFloat_error", "pfl"),
142 ("stringToInt_error", "pi"), 142 ("stringToInt_error", "pi"),
143 ("urlifyInt", "ts"), 143 ("urlifyInt", "ts"),
144 ("urlifyFloat", "ts"), 144 ("urlifyFloat", "ts"),
145 ("urlifyString", "uf"), 145 ("urlifyString", "uf"),
146 ("urlifyBool", "bs"),
146 ("recv", "rv"), 147 ("recv", "rv"),
147 ("strcat", "cat"), 148 ("strcat", "cat"),
148 ("intToString", "ts"), 149 ("intToString", "ts"),
149 ("floatToString", "ts"), 150 ("floatToString", "ts"),
150 ("charToString", "ts"), 151 ("charToString", "ts"),