src/Tools/VSCode/extension/README.md
changeset 64605 9c1173a7e4cb
child 64757 7e3924224769
equal deleted inserted replaced
64604:2bf8cfc98c4d 64605:9c1173a7e4cb
       
     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.