Commits · master · curry-packages / admin-packages

25 Apr, 2022 1 commit
- Update description · 9fb8abf3
  Michael Hanus authored Apr 25, 2022
  
  9fb8abf3
11 Feb, 2019 1 commit
- Adds script to install some Curry base tools · f44a331b
  Michael Hanus authored Feb 11, 2019
  
  f44a331b
17 Jan, 2019 2 commits
- README updated · 65ed0a13
  Michael Hanus authored Jan 17, 2019
  
  65ed0a13
- cpm-switch script updated · 377248ae
  Michael Hanus authored Jan 17, 2019
  
  377248ae
15 Nov, 2017 2 commits
- Typo corrected · f8c8956b
  Michael Hanus authored Nov 15, 2017
  
  f8c8956b
- Hints for package administration · 2bbd4f92
  Michael Hanus authored Nov 15, 2017
  
  2bbd4f92