Mercurial > urweb

comparison src/cjr_print.sml @ 720:acb8537f58f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stop tracking CSS classes in XML types
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 12:31:54 -0400
parents f152f215a02c
children 4c5796512edc
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
2144 string "}"] 2144 string "}"]
2145 2145
2146 | DJavaScript s => box [string "static char jslib[] = \"", 2146 | DJavaScript s => box [string "static char jslib[] = \"",
2147 string (String.toString s), 2147 string (String.toString s),
2148 string "\";"] 2148 string "\";"]
2149 | DStyle (s, xs) => box [string "/*", 2149 | DStyle s => box [string "/*",
2150 space, 2150 space,
2151 string "style", 2151 string "style",
2152 space, 2152 space,
2153 string s, 2153 string s,
2154 space, 2154 space,
2155 string ":", 2155 string "*/"]
2156 space,
2157 p_list string xs,
2158 space,
2159 string "*/"]
2160 2156
2161 datatype 'a search = 2157 datatype 'a search =
2162 Found of 'a 2158 Found of 'a
2163 | NotFound 2159 | NotFound
2164 | Error 2160 | Error