* http://cs.unibo.it/helm/.
*)
-(*************************************************************************)
-(* *)
-(* PROJECT HELM *)
-(* *)
-(* Andrea Asperti <asperti@cs.unibo.it> *)
-(* 13/2/2004 *)
-(* *)
-(*************************************************************************)
-
(* $Id$ *)
type
let b_object b = Object ([],b)
let b_indent = indent
let b_space = Space [None, "width", "0.5em"]
-let b_kw = b_text (RenderingAttrs.object_keyword_attributes `BoxML)
+(* let b_kw = b_text (RenderingAttrs.object_keyword_attributes `BoxML) *)
let b_toggle items = Action ([ None, "type", "toggle"], items)
let pp_attr attr =