equal
deleted
inserted
replaced
26 |
26 |
27 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify |
27 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify |
28 Symbols Mode. It needs to be configured manually as follows: |
28 Symbols Mode. It needs to be configured manually as follows: |
29 |
29 |
30 $ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a |
30 $ISABELLE_HOME/src/Tools/VSCode/extension/isabelle-symbols.json contains a |
31 configuration (generated via `isabelle vscode_symbols`). Its content needs to |
31 configuration (generated via `isabelle build_vscode`). Its content needs to |
32 be copied carefully into the regular VSCode User Preferences. |
32 be copied carefully into the regular VSCode User Preferences. |