Jonas

Results 3 comments of 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...