feat: add Spectacle integration for TLA+ specifications#460

younes-io wants to merge 1 commit intotlaplus:mastertlaplus/vscode-tlaplus:masterfrom

younes-io:feature/spectacle-webviewyounes-io/vscode-tlaplus:feature/spectacle-webviewCopy head branch name to clipboard