website: minor docs fixes

moves-rwth · May 1, 2024 · bedc11d · bedc11d
1 parent aea2202
commit bedc11d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/website/docs/getting-started/installation.mdx b/website/docs/getting-started/installation.mdx
@@ -24,7 +24,7 @@ import TOCInline from '@theme/TOCInline';
 
 ### Option 1: Pre-Built Binary
 
-1. Go to the [latest release on GitHub](https://github.com/moves-rwth/caesar/releases/latest) and download the release for your operating system.
+1. Go to the [latest stable release on GitHub](https://github.com/moves-rwth/caesar/releases/latest) (or [latest nightly release](https://github.com/moves-rwth/caesar/releases/nightly)) and download the release for your operating system.
 
 2. Extract the `caesar` binary from the downloaded archive.
 

diff --git a/website/docs/proof-rules/unrolling.md b/website/docs/proof-rules/unrolling.md
@@ -1,6 +1,6 @@
 ---
 title: Loop Unrolling
-description: Loop unrolling, also known as bounded model checking.
+description: Loop unrolling and bounded model checking.
 sidebar_position: 3
 ---