Commit e94d89f0 authored by Michael Hanus's avatar Michael Hanus
Browse files

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

parents 4e7c59c2 f5eefb30
[submodule "frontend/curry-frontend"] [submodule "frontend/curry-frontend"]
path = frontend/curry-frontend path = frontend/curry-frontend
url = https://git.ps.informatik.uni-kiel.de/fte/curry-frontend.git url = https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
[submodule "frontend/curry-base"] [submodule "frontend/curry-base"]
path = frontend/curry-base path = frontend/curry-base
url = https://git.ps.informatik.uni-kiel.de/fte/curry-base.git url = https://git.ps.informatik.uni-kiel.de/curry/curry-base.git
[submodule "currytools"] [submodule "currytools"]
path = currytools path = currytools
url = https://git.ps.informatik.uni-kiel.de/curry/curry-tools.git url = https://git.ps.informatik.uni-kiel.de/curry/curry-tools.git
......
Subproject commit b48991ef0cf594fa79f4789c06bb8c71f1000923 Subproject commit 3f46aef7fc0d5f102af52b01ee0df652002096e1
Subproject commit ec9517cfa535b6b65445f384562da7b01eedd74a Subproject commit c94cb66cb3ba9c173d16c78dbc92257c24580544
Supports Markdown
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