| `Raw _ -> ()
| `Level (-1) -> reset := true
| `Level child_prec ->
- assert (!expected_level = None);
+(* assert (!expected_level = None); *)
expected_level := !inferred_level;
inferred_level := Some child_prec
| `IdRef xref -> new_xref := xref :: !new_xref
box_of mathonly (A.H, false, false) attrs
(aux_children mathonly false xref prec
(CicNotationUtil.ungroup terms)))
+ | A.Mpadded (l,terms) ->
+ Mpres.Mpadded
+ (List.map (fun (k,v) -> None,k,v) l,
+ box_of mathonly (A.H, false, false) attrs
+ (aux_children mathonly false xref prec
+ (CicNotationUtil.ungroup terms)))
+ | A.Maction alternatives ->
+ toggle_action (List.map invoke_reinit alternatives)
| A.Group terms ->
let children =
aux_children mathonly false xref prec