src/TeXmacs/examples/plugins/input/packages/session
