diff --git a/Docs/docs/getstarted/PeasyIDE.md b/Docs/docs/getstarted/PeasyIDE.md index 366492b5b..5d233d793 100644 --- a/Docs/docs/getstarted/PeasyIDE.md +++ b/Docs/docs/getstarted/PeasyIDE.md @@ -30,14 +30,16 @@ } -

Peasy for VS Code

+### 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** - - - +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!" \ No newline at end of file diff --git a/Docs/docs/getstarted/install.md b/Docs/docs/getstarted/install.md index 53fb82ee3..d8a92af42 100644 --- 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 deleted file mode 100644 index 76e4e852f..000000000 --- a/Docs/docs/getstarted/syntaxhighlight.md +++ /dev/null @@ -1,15 +0,0 @@ -### Syntax Highlighting for P in IntelliJ - -To enable basic syntax highlighting for P (`*.p` files) in IntelliJ, -download the zip file [here](https://github.com/p-org/P/blob/master/Ext/P_FileTypeSettings_Intellij.zip) and import it as settings into IntelliJ. - -!!! Tip - Details about how to import settings into IntelliJ from a zip archive ([check here](https://www.jetbrains.com/help/idea/sharing-your-ide-settings.html#2194ae46)) - -### Syntax Highlighting for P in Sublime - -We used to support syntax highlighting for Sublime editor but is no longer maintained and hence may not support latest P language features. -([Sublime Plugin for P (.p) files](https://github.com/p-org/Sublime-P)). - -### Troubleshooting -If you face any issues getting the syntax highlighting to work, please create an issue on the [P Github](https://github.com/p-org/P) repository. diff --git a/Docs/docs/getstarted/usingP.md b/Docs/docs/getstarted/usingP.md index eba59fb47..5c17f8797 100644 --- 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 index e5ac39902..768439aca 100644 --- 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 index 3644c81dc..53b826b94 100644 --- 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 index b0d175654..0eadca4ce 100644 --- 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: