介绍：

mCRL2语法高亮工具专为.mcrl2和.mcf文件设计，旨在通过精准的语法着色功能，显著提升代码的可读性和编程效率。本工具专注于语言着色，不含其他功能，确保使用简洁高效。

主要特点：

• 仅限语言着色： 提供清晰的语法高亮，帮助开发者快速识别代码结构。
• 评论功能优化： 最新版本支持评论高亮，使代码注释更加突出。

已知问题：

• 目前无已知问题，工具使用稳定可靠。

版本更新：

• 2.0.0版：

  • 修复了评论高亮功能。
  • 优化了符号运算符的显示，增加了对&&、|和=操作符的支持。
  • 感谢Joan Marcè (jmigual)的贡献，提升了工具的整体性能。

• 1.0.0版：

  • 初次发布，支持大部分语言语法特征的着色。

mCRL2语法高亮工具是每个使用.mcrl2和.mcf文件的开发者的必备工具，通过简洁而有效的语法高亮功能，助力您更高效地进行代码编写和维护。