Hi everyone, and welcome to the CoMISo mailing list. You have been added to this list because I believe you have used CoMISo in recent times. If you wish to unsubscribe, you can do that here: https://lists.rwth-aachen.de/postorius/lists/comiso.lists.rwth-aachen.de/ I hope that this mailing list will be useful for both user support as well as developer discussions. Kind regards, Max -- Max Lyon, M.Sc. Department of Computer Sciences 8 RWTH Aachen University Ahornstrasse 55, 52074 Aachen, Germany