v0.0.3

• Outline
• Inlay hints, displaying distinct variables (Use Metamath: Toggle DV Hints editor command to toggle)
• Metamath Proof files validation and diagnostics

v0.0.2

• Basic syntax highlighting for Metamath files and for Proof files
• Fix dependency issue

v0.0.1

Initial pre-release