Jonas
Jonas
If I remember correctly, he was stuck with the live validation part and wanted to finish his master thesis first (should be done in 2-3 weeks), i.e., we could hope...
Did some experiments today regarding a partial update of the tycho version. As it turns out, Tycho >=version 2.7 is somewhat incompatible with lesser tycho versions (
In the branch [external imports](https://github.com/SeelabFhdo/lemma/tree/feature/externalImports-new) I pushed a prototypical implementation based on the OpenAPI branch. After the latest discussion in the lemma development meeting (23 April 2021) we came up...