From 06c8a98f684899330e6583a1c4221cb3b19d78d3 Mon Sep 17 00:00:00 2001 From: srunquist-certora Date: Thu, 20 Nov 2025 09:02:55 -0300 Subject: [PATCH 1/3] Update min JDK from 11 to 19 --- docs/user-guide/install.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/user-guide/install.md b/docs/user-guide/install.md index a4da0412..820d115d 100644 --- a/docs/user-guide/install.md +++ b/docs/user-guide/install.md @@ -24,14 +24,14 @@ Step 1: Prerequisites
- Java Development Kit (JDK) 11 or newer + Java Development Kit (JDK) 19 or newer Check your Java version by executing the following command on the terminal: ```bash java -version ``` - If the version is < 11, download and install Java version 11 or later from + If the version is < 19, download and install Java version 19 or later from [Oracle](https://www.oracle.com/java/technologies/downloads/).
From 76e371f6017f4a1ea9741b7a9947cafaf79e2de3 Mon Sep 17 00:00:00 2001 From: srunquist-certora Date: Sun, 23 Nov 2025 11:43:10 -0300 Subject: [PATCH 2/3] Clarify Java version requirement wording --- docs/user-guide/install.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/user-guide/install.md b/docs/user-guide/install.md index 820d115d..172ed951 100644 --- a/docs/user-guide/install.md +++ b/docs/user-guide/install.md @@ -31,7 +31,7 @@ Step 1: Prerequisites java -version ``` - If the version is < 19, download and install Java version 19 or later from + If the version is lower than 19, download and install Java version 19 or later from [Oracle](https://www.oracle.com/java/technologies/downloads/). From 4f31762d2f1e18dbcf41b0f78a533f9ae1172242 Mon Sep 17 00:00:00 2001 From: Shane Date: Wed, 3 Dec 2025 16:32:01 -0300 Subject: [PATCH 3/3] fix a typo --- docs/user-guide/install.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/user-guide/install.md b/docs/user-guide/install.md index 172ed951..3429294f 100644 --- a/docs/user-guide/install.md +++ b/docs/user-guide/install.md @@ -28,7 +28,7 @@ Step 1: Prerequisites Check your Java version by executing the following command on the terminal: ```bash - java -version + java --version ``` If the version is lower than 19, download and install Java version 19 or later from