-
Alexander Weigl authored
* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser: adderd flag for matchexpreesion
2442bfd7
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
* 'master' of git.scc.kit.edu:xt9634/ProofScriptParser: adderd flag for matchexpreesion