comparison src/expl.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 e0dd85ea58e1
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
143 | DExport of int * sgn * str 143 | DExport of int * sgn * str
144 | DTable of int * string * int * con * exp * con * exp * con 144 | DTable of int * string * int * con * exp * con * exp * con
145 | DSequence of int * string * int 145 | DSequence of int * string * int
146 | DDatabase of string 146 | DDatabase of string
147 | DCookie of int * string * int * con 147 | DCookie of int * string * int * con
148 | DStyle of int * string * int * con 148 | DStyle of int * string * int
149 149
150 and str' = 150 and str' =
151 StrConst of decl list 151 StrConst of decl list
152 | StrVar of int 152 | StrVar of int
153 | StrProj of str * string 153 | StrProj of str * string