src/TeXmacs/examples/plugins/complete/src
