src/TeXmacs/examples/plugins/substitute/src
