runtimeverification / gitbook-kontrol

https://docs.runtimeverification.com/kontrol
4 stars 3 forks source link

Replace `kup update` with `kup install` #25

Closed JuanCoRo closed 11 months ago

JuanCoRo commented 11 months ago

kup update is no longer valid. Instead, packages should be updated with kup install $package. This PR reflects this on the kup cheatsheet.