src/TeXmacs/examples/plugins/world/progs
