- 03 Jun, 2021 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 10 Nov, 2020 1 commit
-
-
Michael Hanus authored
-
- 03 Jan, 2019 1 commit
-
-
Michael Hanus authored
-
- 11 Dec, 2018 1 commit
-
- 01 Nov, 2018 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 27 Oct, 2018 1 commit
-
-
Kai Prott authored
-
- 18 Jul, 2018 1 commit
-
-
Kai-Oliver Prott authored
-
- 02 Oct, 2017 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
Fixed wrong package author name See merge request !1
-
- 28 Sep, 2017 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 10 Aug, 2017 1 commit
-
-
Jan-Hendrik Matthes authored
-
- 15 May, 2017 2 commits
-
-
Michael Hanus authored
Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/rewriting into typeclasses
-
Michael Hanus authored
-
- 08 May, 2017 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-
- 29 Mar, 2017 2 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
-