Commit 7cbeef29 authored by Michael Hanus's avatar Michael Hanus
Browse files

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

parents b1524cd1 37f40911
currytools @ 575bf379
Subproject commit cdfc9f7e03cd2c68eda96a7dbdcc0093e594524c
Subproject commit 575bf379f85cec2aa80a63b5ffbe877bc5f3594b
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment