twelf-lang README

Features

Syntax highlighting for Twelf. Integrate twelf-server into vscode.

See changelog.

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
.vscode		.vscode
syntaxes		syntaxes
.gitattributes		.gitattributes
.gitignore		.gitignore
.vscodeignore		.vscodeignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
extension.js		extension.js
language-configuration.json		language-configuration.json
package-lock.json		package-lock.json
package.json		package.json
smlEnvironmentManager.js		smlEnvironmentManager.js
vsc-extension-quickstart.md		vsc-extension-quickstart.md