src/Tools/VSCode/extension/README.md
changeset 66224 9fe05edaa351
parent 66223 a6fdb22b0ce2
child 66227 7470985f3fb6
equal deleted inserted replaced
66223:a6fdb22b0ce2 66224:9fe05edaa351
     5 Isabelle from 2017, see also:
     5 Isabelle from 2017, see also:
     6 
     6 
     7   * <http://isabelle.in.tum.de/devel/release_snapshot>
     7   * <http://isabelle.in.tum.de/devel/release_snapshot>
     8   * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
     8   * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>
     9 
     9 
       
    10 ![Isabelle/VSCode](isabelle_vscode.png)
    10 
    11 
    11 ## Prerequisites ##
    12 ## Prerequisites ##
    12 
    13 
    13 ### Important User Settings ###
    14 ### Important User Settings ###
    14 
    15