mcrl2-highlighting README

Syntax highlighting for .mcrl2 and .mcf files.

Features

Only language coloration. Nothing else.

Comments now work

Known Issues

Should be issue free.

Release Notes

2.0.0

Fixed comment highlighting.

Fixed symbolic operator highlighting and adds &&, | and = operators.

Thanks to Joan Marcè (jmigual) for contributions.

1.0.0

Initial release with coloring for most language syntax features.