Searched defs:exec_texmacs (Results 1 – 1 of 1) sorted by relevance
/dports/editors/texmacs/TeXmacs-1.99.4-src/src/Edit/Editor/ | ||
H A D | edit_typeset.cpp | 509 edit_typeset_rep::exec_texmacs (tree t, path p) { in exec_texmacs() function in edit_typeset_rep |