Sebastian Steiger @ on
Possibility to split tool.xml into several files
For large projects the tool.xml file gets complicated and it is hard to keep track of the file structure. It would be desirable to be able and copy-paste other files into a specific location in tool.xml, similar to the input option in Latex. Like this subsections can be stored in different files.