Support editor folding of TLA+ translation of PlusCal algorithm - #329
Support editor folding of TLA+ translation of PlusCal algorithm - #329

- Changelog update.

#329
[Feature][Toolbox]

tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus