Merge pull request #163 from Certora/uri/differentiate_release_notes

better strings
Certora · Oct 25, 2023 · e51c61c · e51c61c
2 parents 4990d61 + 60864e2
commit e51c61c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/prover/changelog/prover_changelog.md b/docs/prover/changelog/prover_changelog.md
@@ -1,4 +1,4 @@
-Release Notes
+Prover Release Notes
 =============
 
 ```{contents}

diff --git a/docs/prover/changelog/report_changelog.md b/docs/prover/changelog/report_changelog.md
@@ -1,10 +1,10 @@
-Release Notes
+Rules Report Release Notes
 =============
 
 ```{contents}
 ```
 
-0.5.6 Report version (October 24, 2023)
+0.5.6 (October 24, 2023)
 ---------------------------
 
 ### Features