basic support for VSCode Language Server protocol;
minimal extension for VSCode editor;
# Isabelle language support
This extension provides language support for Isabelle.
Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME
directory.