1
# Isabelle language support
2
3
This extension provides language support for Isabelle.
4
5
Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME
6
directory.