search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

Make ChessVDM follow naming convention #210

Closed mortenhaahr closed 1 year ago

mortenhaahr commented 1 year ago

Made it follow the naming convention