src/TeXmacs/progs/utils/edit
