src/Tools/VSCode/extension/README.md
author wenzelm
Fri, 30 Jun 2017 13:19:24 +0200
changeset 66230 ae814012b95f
parent 66227 7470985f3fb6
child 66236 8ae7c5ba1a85
permissions -rw-r--r--
prefer explicit link;

# Isabelle Prover IDE support

This extension connects to the Isabelle Prover IDE infrastructure, using the
VSCode Language Server protocol. This requires a recent development version of
Isabelle from 2017, see also:

  * <http://isabelle.in.tum.de/devel/release_snapshot>
  * <http://isabelle.in.tum.de/repos/isabelle/file/tip/src/Tools/VSCode>

![[Isabelle/VSCode screenshot]](http://isabelle.in.tum.de/repos/isabelle/raw-file/9fe05edaa351/src/Tools/VSCode/extension/isabelle_vscode.png)


## Prerequisites ##

### Important User Settings ###

  * On Linux and Mac OS X: `isabelle.home` points to the main Isabelle
    directory (`$ISABELLE_HOME`).

  * On Windows: `isabelle.home` as above, but in Windows path notation with
    drive-letter and backslashes.


### Support for Isabelle symbols ###

Isabelle symbols like `\<forall>` are rendered using the extension "Prettify
Symbols Mode", which needs to be installed separately.

In addition, the following user settings should be changed:

```
"prettifySymbolsMode.substitutions": [
  {
    "language": "isabelle",
    "revealOn": "none",
    "adjustCursorMovement": true,
    "prettyCursor": "none",
    "substitutions": []
  },
  {
    "language": "isabelle-ml",
    "revealOn": "none",
    "adjustCursorMovement": true,
    "prettyCursor": "none",
    "substitutions": []
  }]
```


## Further Preferences ##

  * Preferred Color Theme: `Light+ (default light)`

  * Alternative Color Theme: `Dark+ (default dark)` – with restrictions: some color
    combinations don't work out properly.

  * Recommended changes to default VSCode settings:

    ```
    "editor.acceptSuggestionOnEnter": "off",
    "editor.lineNumbers": "off",
    "editor.renderIndentGuides": false,
    "editor.rulers": [100],
    "editor.wordBasedSuggestions": true,
    ```