Extension Development

Packaging & Publishing

Install vsce: npm install --global @vscode/vsce

copy an mmt.jar nightly to lib/mmt.jar and edit lib/mmt.jar.version.txt accordingly
vsce package
vsce publish