# Isabelle language support This extension provides language support for Isabelle. Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME directory.