src/Tools/VSCode/extension/README.md
author wenzelm
Sun Jan 01 21:26:26 2017 +0100 (2017-01-01)
changeset 64736 07bf45283b92
parent 64605 9c1173a7e4cb
child 64757 7e3924224769
permissions -rw-r--r--
clarified file name;
wenzelm@64605
     1
# Isabelle language support
wenzelm@64605
     2
wenzelm@64605
     3
This extension provides language support for Isabelle.
wenzelm@64605
     4
wenzelm@64605
     5
Make sure that User Settings `isabelle.home` points to the ISABELLE_HOME
wenzelm@64605
     6
directory.