src/TeXmacs/examples/plugins/multiline/progs
