From 2516f3a37a63bd72cc35d730a90959481fd57eef Mon Sep 17 00:00:00 2001 From: Mounika Chadalavada Date: Tue, 19 Sep 2023 11:44:05 -0700 Subject: [PATCH] Update p pre-requisite version in docs --- Docs/docs/installingPeasy.md | 4 ++-- Docs/mkdocs.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Docs/docs/installingPeasy.md b/Docs/docs/installingPeasy.md index 100d9b1..d6af57b 100644 --- a/Docs/docs/installingPeasy.md +++ b/Docs/docs/installingPeasy.md @@ -14,10 +14,10 @@ **[Step 1] Install P** -Follow the [installing P](https://p-org.github.io/P/getstarted/install/) instructions to install P locally (version >= 2.0.19), depending on your platform. +Follow the [installing P](https://p-org.github.io/P/getstarted/install/) instructions to install P locally (version >= 2.0.20), depending on your platform. -??? note "Make sure that you installed the right version of P (i.e., version >= 2.0.19)" +??? note "Make sure that you installed the right version of P (i.e., version >= 2.0.20)" Run `p --version` command to get the version of P diff --git a/Docs/mkdocs.yml b/Docs/mkdocs.yml index a1eca28..d31ea43 100644 --- a/Docs/mkdocs.yml +++ b/Docs/mkdocs.yml @@ -1,6 +1,6 @@ site_name: "Peasy" site_url: http://p-org.github.io/Peasy/ -site_description: "Peasy: An Intuitive Development Environment for P" +site_description: "Peasy: An easy-to-use development environment for P" site_author: "P Team @ AWS" repo_url: https://github.com/p-org/peasy-ide-vscode