comparison src/source.sml @ 720:acb8537f58f0

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 8688e01ae469
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
162 | DTable of string * con * exp * exp 162 | DTable of string * con * exp * exp
163 | DSequence of string 163 | DSequence of string
164 | DClass of string * kind * con 164 | DClass of string * kind * con
165 | DDatabase of string 165 | DDatabase of string
166 | DCookie of string * con 166 | DCookie of string * con
167 | DStyle of string * con 167 | DStyle of string
168 168
169 and str' = 169 and str' =
170 StrConst of decl list 170 StrConst of decl list
171 | StrVar of string 171 | StrVar of string
172 | StrProj of str * string 172 | StrProj of str * string