module Disambiguate' = DisambiguatingParser.Make(C);;
class term_editor_impl
- ~dbh
+ ~dbd
?packing ?width ?height
?isnotempty_callback ?share_environment_with () : term_editor
=
debug_print ("TexTermEditor: Raw Tex: " ^ (Mathml_editor.get_tex tex_editor)) ;
let environment',metasenv,expr =
match
- Disambiguate'.disambiguate_term ~dbh
+ Disambiguate'.disambiguate_term ~dbd
context metasenv (Mathml_editor.get_tex tex_editor) !environment
with
[environment',metasenv,expr] -> environment',metasenv,expr