https://github.com/uniformal/vscode-mmt
MMT plugin for Visual Studio Code
https://github.com/uniformal/vscode-mmt
formalization visual-studio-code vscode
Last synced: 3 months ago
JSON representation
MMT plugin for Visual Studio Code
- Host: GitHub
- URL: https://github.com/uniformal/vscode-mmt
- Owner: UniFormal
- License: bsd-3-clause
- Created: 2019-07-16T16:19:35.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-04-10T15:02:55.000Z (almost 2 years ago)
- Last Synced: 2025-10-20T21:49:45.595Z (3 months ago)
- Topics: formalization, visual-studio-code, vscode
- Language: TypeScript
- Homepage: https://uniformal.github.io
- Size: 442 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE.md
Awesome Lists containing this project
README
# 
MMT Extension for Visual Studio Code
## Features
Syntax highlighting, typechecking, and building for the [MMT language](https://uniformal.github.io/).
## Usage
1. Create a directory for your MMT archives (e.g., called `archives`).
2. Clone MMT archives into that directory (e.g., by `git clone https://gl.mathhub.info/MMT/urtheories.git urtheories`).
3. Open your `archives` directory in Visual Studio Code
On Windows, you can do this by navigating to your `archives` directory using WIndows Explorer, right-clicking in an empty space there, and selecting `Open with Code`.
Alternatively and for other operating systems, open Visual Studio Code and select `File -> Open Folder...`.
4. In the Visual Studio Code window you can now open arbitrary `*.mmt` files.
5. When you have an `*.mmt` file opened, you can press Ctrl+Shift+P to open the command pallette and seek `typecheck` and `build`.
In case of errors or bugs, a helpful command is `Reload MMT`.
## Known Issues
Currently no code completion or lenses.
## Sideloading
1. Download the [nightly build of this extension packaged as a `*.vsix` extension file](https://github.com/UniFormal/VSCode-MMT/releases/latest).
2. Open Visual Studio Code and press Ctrl+Shift+P (alternatively: `View -> Command Pallette...`)
3. In the Command Pallette type `VSIX` and select `>Extensions: Install from VSIX...`.
4. Select the `*.vsix` extension file you downloaded in step 1.
## Release Notes
## 0.4.0
- Added go-to-definition functionality for module references, including includes, structure domains, and specified meta theories
- Improved syntax highlighting of includes, rules, and explicit constants
## 0.3.1
- Fixed archives not being loaded on Windows (if they were on drives other than `C:`), macOS and Linux derivates
- Integrated a preliminary MMT shell
- *Go To Definition* functionality is now more fine-grained and only applicable on notations of a term (and not ambigiously on notations of its subterms)
## 0.2.0
- *Go To Definition* and *Find All References* support for MMT files
- no initial configuration necessary anymore: the extension comes now bundled with an `mmt.jar` and automatically infers Java Home from `java` on `PATH`
## 0.1.2
Minor updates of this README.
## 0.1.1
First version published to the Visual Studio Code marketplace.