src/TeXmacs/examples/plugins/pnambic/progs
