Merge branch 'master' into dev/aman

p-org · Sep 19, 2023 · 66e427d · 66e427d
2 parents b64133b + eac1f8b
commit 66e427d
Show file tree

Hide file tree

Showing 7 changed files with 15 additions and 38 deletions.
diff --git a/Docs/docs/getstarted/PeasyIDE.md b/Docs/docs/getstarted/PeasyIDE.md
@@ -30,14 +30,16 @@
     }
     </style>
 
-<h3>Peasy for VS Code</h3>
+### Peasy: An easy-to-use development environment for P
 
-Peasy VS Code language extension offers an intuitive development environment tailored specifically for the P programming language, making it easier for developers to create, debug, and optimize their P projects.
+> :mega: **Peasy** is a step towards making application of P in practice **easy-peasy**
 
-<a href="vscode:extension/PLanguage.peasy-extension">
-<button id="hover" style="font-weight:bold;" class="button1 block1"> Download Peasy for VS Code </button>
-</a>
+Peasy offers an intuitive development environment tailored specifically for the P programming language, making it easier for developers to edit, compile, test, debug, and visualize their P programs.
+
+Peasy provides syntax highlighting for code clarity and code snippets to reduce development time, automated compilation and testing for hassle-free program development. Moreover, Peasy's trace and state machine visualization tools provide rich analysis to gain insights into your projects and simplifies error debugging process.
+
+[Download Peasy for VS Code](vscode:extension/PLanguage.peasy-extension){ .md-button }
+
+!!! tip "[Recommended] Checkout [Peasy's Github page](https://p-org.github.io/peasy-ide-vscode/) for more information, getting started, and demo videos on the IDE!"
 
-With Peasy, you can leverage the capabilities of syntax highlighting for code clarity, automated compilation for hassle-free project building, and code snippets to reduce development time. Peasy's error reporting feature ensures code correctness, while the the testing framework streamlines test case execution. Moreover, Peasy's trace and state machine visualization tools provide rich analysis to gain insights into your projects and simplifies debugging process.
 
-!!! tip "Want to learn more about Peasy? Checkout [Peasy's Github page](https://p-org.github.io/peasy-ide-vscode/) for more information!"
diff --git a/Docs/docs/getstarted/install.md b/Docs/docs/getstarted/install.md
@@ -218,12 +218,11 @@ dotnet tool install --global P
 
 ### [Step 4] Recommended IDE (Optional)
 
-- For developing P programs, we recommend using [Peasy for VS Code](https://marketplace.visualstudio.com/items?itemName=PLanguage.peasy-extension).
+- For developing P programs, we recommend using [Peasy](https://marketplace.visualstudio.com/items?itemName=PLanguage.peasy-extension).
 
 - For debugging generated C# code, we recommend using [Rider](https://www.jetbrains.com/rider/) for Mac/Linux or [Visual Studio 2019](https://docs.microsoft.com/en-us/visualstudio/install/install-visual-studio) for Windows.
 
 - For debugging generated Java code, we recommend using [IntelliJ IDEA](https://www.jetbrains.com/idea/)
 
-## Using P
-
- Great :smile:! You are all set to compile and check your first P program :mortar_board:!
+!!! note ""
+    Great :smile:! You are all set to compile and check your first P program :mortar_board:!
diff --git a/Docs/docs/getstarted/syntaxhighlight.md b/Docs/docs/getstarted/syntaxhighlight.md
diff --git a/Docs/docs/getstarted/usingP.md b/Docs/docs/getstarted/usingP.md
@@ -2,7 +2,7 @@
 
 !!! check ""  
     Before moving forward, we assume that you have successfully installed
-    [P](install.md) and the [Syntax highlighting plugin](syntaxhighlight.md) :metal:.
+    [P](install.md) and the [Peasy extension](PeasyIDE.md) :metal:.
 
 We introduce the P language syntax and semantics in details in the
 [Tutorials](../tutsoutline.md) and [Language Manual](../manualoutline.md). In this

diff --git a/Docs/docs/old/getstarted/install.md b/Docs/docs/old/getstarted/install.md
@@ -158,15 +158,6 @@ We highly recommend that you create the following alias as we use it in the rest
     function pmc { coyote test $args }
     ```
 
-### [Step 5] Recommended IDE (Optional)
-
-- For developing P programs, we recommend using [IntelliJ
-  IDEA](https://www.jetbrains.com/idea/) as we support basic [P syntax
-  highlighting](../../getstarted/syntaxhighlight.md) for IntelliJ.  There is also a [plugin for
-  the Vim editor](https://github.com/dijkstracula/vim-plang), which IntelliJ
-  will automatically use when [Vim
-  emulation](https://plugins.jetbrains.com/plugin/164-ideavim) is enabled.
-
 - For debugging generated C# code, we recommend using [Rider](https://www.jetbrains.com/rider/) for Mac/Linux or [Visual Studio 2019](https://docs.microsoft.com/en-us/visualstudio/install/install-visual-studio) for Windows.
 
 - For debugging generated Java code, we recommend using [IntelliJ IDEA](https://www.jetbrains.com/idea/)

diff --git a/Docs/docs/old/getstarted/usingP.md b/Docs/docs/old/getstarted/usingP.md
@@ -2,7 +2,7 @@
 
 !!! check ""  
     Before moving forward, we assume that you have successfully installed the
-    [P Compiler and Checker](install.md#step-3-install-p-compiler) and the [Syntax highlighting plugin](../../getstarted/syntaxhighlight.md) :metal: .
+    [P Compiler and Checker](install.md#step-3-install-p-compiler).
 
 We introduce the P language syntax and semantics in details in the
 [Tutorials](../../tutsoutline.md) and [Language Manual](../../manualoutline.md). In this

diff --git a/Docs/mkdocs.yml b/Docs/mkdocs.yml
@@ -52,7 +52,7 @@ nav:
   - What is P?: whatisP.md
   - Getting Started:
       - Installing P: getstarted/install.md
-      - IDE for P: getstarted/PeasyIDE.md
+      - Peasy - IDE for P: getstarted/PeasyIDE.md
       - Using P Compiler and Checker: getstarted/usingP.md
 
   - Tutorials: