src/TeXmacs/examples/plugins/nested/progs
