Code

Highlight variable change type#303

Code

Merged

lemmy merged 1 commit intotlaplus:mastertlaplus/vscode-tlaplus:masterfrom afonsonf:highlight-variable-change-typeafonsonf/vscode-tlaplus:highlight-variable-change-typeCopy head branch name to clipboardSep 10, 2023

+16-8

Commits

Commits on Sep 10, 2023

• Highlight variable change type

  Show description for 506fd90
  afonsonf

  committed
  506fd90

  Copy full SHA for 506fd90