Maude VSCode Extension

A Maude syntax highlighting extension for VSCode

Features

• Syntax highlighting
• Bracket matching
• Bracket autoclosing
• Bracket autosurrounding
• Comment toggling
• Auto indentation

Requirements

Known Issues

Release Notes

1.0.0

Initial release of basic syntax highlighting Maude extension for VSCode.

1.1.0

• snippet support

  Names
  if
  mod
  fmod
  attributes (attr)