Skip to content

Commit

Permalink
Remove wording to fit new branch name
Browse files Browse the repository at this point in the history
  • Loading branch information
Shon Feder committed Jul 18, 2022
1 parent 3ee6dd7 commit dbf13fd
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions docs/src/apalache/installation/docker.md
Original file line number Diff line number Diff line change
Expand Up @@ -81,11 +81,11 @@ substantial number of improvements in the trunk branch before the next stable
release. Please refer to the [change
log](https://github.com/informalsystems/apalache/blob/trunk/CHANGES.md) and
[manual](https://github.com/informalsystems/apalache/blob/trunk/docs/src/apalache/index.md)
on the trunk branch for the description of the newest features. **We
recommend using the trunk version if you want to try all the exciting new
features of Apalache. But be warned: It is called "trunk" for a reason**. To
use `trunk`, just type `ghcr.io/informalsystems/apalache:trunk` instead of `ghcr.io/informalsystems/apalache`
everywhere.
on the trunk branch for the description of the newest features. **We recommend
using the trunk version if you want to try all the exciting new features of
Apalache. But be warned: it is not as stable as using a versioned release**. To
use `trunk`, just type `ghcr.io/informalsystems/apalache:trunk` instead of
`ghcr.io/informalsystems/apalache` everywhere.

Do not forget to pull the docker image from time to time:

Expand Down

0 comments on commit dbf13fd

Please sign in to comment.