Path	Lines of Code
CHANGELOG.md	5
CODE_OF_CONDUCT.md	57
README.md	51
ThirdPartyNotices.txt	25
language-configuration.json	28
package-lock.json	762
package.json	72
sokrates_conventions.json	72
syntaxes/number.tmLanguage.json	100
syntaxes/vdmpp.tmLanguage.json	274
tsconfig.json	14
vsc-extension-quickstart.md	19