diff --git a/extension-control/extensions.json b/extension-control/extensions.json index c04ac6191..27f9fa24e 100644 --- a/extension-control/extensions.json +++ b/extension-control/extensions.json @@ -335,6 +335,20 @@ "id": "fill-labs.dependi", "displayName": "Dependi" } + }, + "alygin.vscode-tlaplus": { + "disallowInstall": true, + "extension": { + "id": "tlaplus.vscode-ide", + "displayName": "TLA+ (Temporal Logic of Actions)" + } + }, + "alygin.vscode-tlaplus-nightly": { + "disallowInstall": true, + "extension": { + "id": "tlaplus.vscode-ide", + "displayName": "TLA+ (Temporal Logic of Actions)" + } } }, "migrateToPreRelease": {