src/Tools/VSCode/extension/README.md
changeset 66230 ae814012b95f
parent 66227 7470985f3fb6
child 66236 8ae7c5ba1a85
equal deleted inserted replaced
66229:d3b6e5e47015 66230:ae814012b95f
     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 screenshot]](isabelle_vscode.png)
    10 ![[Isabelle/VSCode screenshot]](http://isabelle.in.tum.de/repos/isabelle/raw-file/9fe05edaa351/src/Tools/VSCode/extension/isabelle_vscode.png)
    11 
    11 
    12 
    12 
    13 ## Prerequisites ##
    13 ## Prerequisites ##
    14 
    14 
    15 ### Important User Settings ###
    15 ### Important User Settings ###