0.3.0 improved highlighting for PlusCal special comments 0.2.1 fix highlighting bug reported as issue #2 0.2.0 support for TLA+ 2 (thanks @johnyf) improved highlighting (thanks @johnyf) 0.1.1 fix coloring of latex based operators 0.1.0 - First Release initial plugin with simple highlighter