src/TeXmacs/examples/plugins/menus/progs
