Syntax highlighting, typechecking, and building for the MMT language.
archives
).git clone https://gl.mathhub.info/MMT/urtheories.git urtheories
).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...
.
*.mmt
files.*.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
.
Currently no code completion or lenses.
*.vsix
extension file.View -> Command Pallette...
)VSIX
and select >Extensions: Install from VSIX...
.*.vsix
extension file you downloaded in step 1.C:
), macOS and Linux derivatesmmt.jar
and automatically infers Java Home from java
on PATH
Minor updates of this README.
First version published to the Visual Studio Code marketplace.