Die Toolplattform Theia, die Anfang 2020 in Version 1.0 erschienen ist, dient als Grundlage für Entwicklungswerkzeuge, die sowohl auf dem Desktop als auch webbasiert arbeiten. Ihre Ursprünge gehen ins ...