caw.vim icon indicating copy to clipboard operation
caw.vim copied to clipboard

Published 20 hours ago • verified publisher icon tyru

Add TLA+ support

Open jubnzv opened this issue 2 years ago • 0 comments

Reference: https://tlaplus.arnevogel.com/basics/comments/

Box comments are also very useful, because they are pretty-printed when exporting the TLA+ specification to LaTeX.

jubnzv avatar Jul 17 '22 08:07 jubnzv