Difference between revisions of "Syntax Highlighting (in VS-Code) for Z^3 Language"
Jump to navigation
Jump to search
(Created page with "= ZCubes Syntax Highlighting for VS Code = This guide will help you install and use the ZCubes syntax highlighting extension in VS Code. Since this extension is not yet publis...") |
|||
| Line 4: | Line 4: | ||
'''Visual Studio Code''' (latest version recommended) | '''Visual Studio Code''' (latest version recommended) | ||
| − | |||
'''Git''' (for cloning the repository) | '''Git''' (for cloning the repository) | ||
== Installation Steps == | == Installation Steps == | ||
=== 1. Clone the Repository === | === 1. Clone the Repository === | ||
| − | First, clone the ZCubes syntax highlighting extension repository to your local machine | + | First, clone the ZCubes syntax highlighting extension repository to your local machine: <syntaxhighlight lang="bash"> |
| + | git clone https://github.com/Vishwa18K/Z3-Syntax-Highlighter.git | ||
| + | cd zcubes-syntax-highlighting | ||
| + | </syntaxhighlight> | ||
Revision as of 10:44, 11 June 2025
ZCubes Syntax Highlighting for VS Code
This guide will help you install and use the ZCubes syntax highlighting extension in VS Code. Since this extension is not yet published to the marketplace, you'll need to run it locally using VS Code's Extension Development Host.
Prerequisites
Visual Studio Code (latest version recommended) Git (for cloning the repository)
Installation Steps
1. Clone the Repository
First, clone the ZCubes syntax highlighting extension repository to your local machine:
git clone https://github.com/Vishwa18K/Z3-Syntax-Highlighter.git
cd zcubes-syntax-highlighting