src/TeXmacs/examples/plugins/prompt/src
