src/TeXmacs/progs/generic
