comparison src/core.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
132 | DExport of export_kind * int 132 | DExport of export_kind * int
133 | DTable of string * int * con * string * exp * con * exp * con 133 | DTable of string * int * con * string * exp * con * exp * con
134 | DSequence of string * int * string 134 | DSequence of string * int * string
135 | DDatabase of string 135 | DDatabase of string
136 | DCookie of string * int * con * string 136 | DCookie of string * int * con * string
137 | DStyle of string * int * con * string 137 | DStyle of string * int * string
138 138
139 withtype decl = decl' located 139 withtype decl = decl' located
140 140
141 type file = decl list 141 type file = decl list
142 142