Structures and directories
CheT uses a number of directories to keep all the data needed.
/dokumentation
This directory contains the CheT documentation.
/source
This directory contains a number of files needed by CheT.