src/TeXmacs/progs/dynamic
