src/TeXmacs/progs/text
