From 20bca8c614c913c7b6fb7743d1b4060dbfb5a04a Mon Sep 17 00:00:00 2001 From: Thomas Lamiaux Date: Sat, 15 Feb 2025 01:28:25 +0100 Subject: [PATCH] port docs to 8.20 --- data/tutorials/platform/1_01_platform_docs.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/data/tutorials/platform/1_01_platform_docs.md b/data/tutorials/platform/1_01_platform_docs.md index f8d649ca..6a41e4f3 100644 --- a/data/tutorials/platform/1_01_platform_docs.md +++ b/data/tutorials/platform/1_01_platform_docs.md @@ -45,9 +45,9 @@ This is a demo, so not everything is working perfectly yet: - In the future, the documentation is planned to be indexed on the Coq Platform's version, but as of yet, it is only guaranteed to fully work with the latest version of the [Coq - Platform](https://github.com/coq/platform/blob/main/doc/README~8.19~2024.10.md) - for Coq 8.19.2. + Platform](https://github.com/coq/platform/blob/main/doc/README~8.20~2025.01.md) + for Coq 8.20.1. - The interactive interface is relying on JsCoq1 that only supports - Coq up to 8.17 so it may fail on some content requiring Coq 8.19. We + Coq up to 8.17 so it may fail on some content requiring Coq 8.20. We are working towards switching to JsCoq2.