Back to index

texmacs  1.0.7.15

Editor → Replace Relation

File in TeXmacs-1.0.7.15-src/src/Edit/EditorIncludes file in TeXmacs-1.0.7.15-src/src/Edit/Replace
edit_main.hppedit_replace.hpp
edit_main.hppedit_select.hpp