diff --git a/docs/prover/changelog/gui_changelog.md b/docs/prover/changelog/gui_changelog.md index 36759418..1c06d700 100644 --- a/docs/prover/changelog/gui_changelog.md +++ b/docs/prover/changelog/gui_changelog.md @@ -4,7 +4,7 @@ GUI Release Notes ```{contents} ``` -3.1.1 (Jan 9, 2025) +3.1.1 (Jan 12, 2025) --------------------------- ### Features diff --git a/docs/prover/changelog/prover_changelog.md b/docs/prover/changelog/prover_changelog.md index 6cc6e17b..5b5c6acb 100644 --- a/docs/prover/changelog/prover_changelog.md +++ b/docs/prover/changelog/prover_changelog.md @@ -5,7 +5,7 @@ Prover Release Notes ```{contents} ``` -7.22.2 (Jan 9, 2025) +7.22.2 (Jan 12, 2025) ---------------------- ### Rule Report - [feat] Support for displaying numeric values in string, decimal, or hexadecimal formats in Call Trace and Variables tabs, with a dropdown to switch formats.