Maude-syntax-highlighting-and-snippets

This extension provides minimalistic syntax highlinging and code snippets for the high performance language Maude.

Features

Syntax highlightining & code snippets of the most common elements of Maude.

• Modules
• Sorts
• Subsorts
• Operators
• Equations
• Conditional equations
• Rules
• Conditional rules

1.2.0

Several bug fixes and improvements. Added syntax highlighting for:

• Commands
  • reduce
  • rewrite
  • search
  • match
  • unify
  • narrow
  • vu-narrow
• Command options for narrowing
  • path
  • fold
  • vfold
• End of file and quit.