-
Lulu Luong authored
Merge branch 'grebing_luong_workbranch' of C:\Users\Lulu\Desktop\Bachelor\ProofScriptParser with conflicts.
4fbb71f4
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Merge branch 'grebing_luong_workbranch' of C:\Users\Lulu\Desktop\Bachelor\ProofScriptParser with conflicts.