Commit bc026235 authored by Michael Hanus 's avatar Michael Hanus

Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs

parents dc05be6b c46f00ce
Pipeline #1533 passed with stages
in 67 minutes and 29 seconds