# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1250006514 14400
# Node ID 5fe49effbc83e41c11c929aafe11fe1e98917b5e
# Parent  c270fb847dc291cf86f70febda9be3003a291133
JavaScript urlifying of bools; correct Link attribute escaping

diff -r c270fb847dc2 -r 5fe49effbc83 src/monoize.sml
--- a/src/monoize.sml	Tue Aug 11 11:26:37 2009 -0400
+++ b/src/monoize.sml	Tue Aug 11 12:01:54 2009 -0400
@@ -2538,6 +2538,7 @@
                                           val x =
                                               case x of
                                                   "Typ" => "Type"
+                                                | "Link" => "Href"
                                                 | _ => x
                                           val xp = " " ^ lowercaseFirst x ^ "=\""
 
diff -r c270fb847dc2 -r 5fe49effbc83 src/settings.sml
--- a/src/settings.sml	Tue Aug 11 11:26:37 2009 -0400
+++ b/src/settings.sml	Tue Aug 11 12:01:54 2009 -0400
@@ -143,6 +143,7 @@
                           ("urlifyInt", "ts"),
                           ("urlifyFloat", "ts"),
                           ("urlifyString", "uf"),
+                          ("urlifyBool", "bs"),
                           ("recv", "rv"),
                           ("strcat", "cat"),
                           ("intToString", "ts"),
diff -r c270fb847dc2 -r 5fe49effbc83 src/tag.sml
--- a/src/tag.sml	Tue Aug 11 11:26:37 2009 -0400
+++ b/src/tag.sml	Tue Aug 11 12:01:54 2009 -0400
@@ -117,7 +117,7 @@
                                                    end
                                            in
                                                case x of
-                                                   (CName "Link", _) => tagIt (Link, "Href")
+                                                   (CName "Link", _) => tagIt (Link, "Link")
                                                  | (CName "Action", _) => tagIt (Action ReadWrite, "Action")
                                                  | _ => ((x, e, t), (count, tags, byTag, newTags))
                                            end)