equal
deleted
inserted
replaced
14 directory (`$ISABELLE_HOME`). |
14 directory (`$ISABELLE_HOME`). |
15 |
15 |
16 * On Windows: `isabelle.home` as above, but in Windows path notation with |
16 * On Windows: `isabelle.home` as above, but in Windows path notation with |
17 drive-letter and backslashes. |
17 drive-letter and backslashes. |
18 |
18 |
19 Moreover, `isabelle.cygwin_root` needs to point to a suitable Cygwin |
|
20 installation, e.g. `$ISABELLE_HOME\contrib\cygwin` for a regular Isabelle |
|
21 application bundle, or `C:\cygwin` for a stand-alone installation used |
|
22 with Isabelle repository snapshot. |
|
23 |
|
24 |
19 |
25 ## Isabelle symbols ## |
20 ## Isabelle symbols ## |
26 |
21 |
27 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify |
22 Isabelle symbols like `\<forall>` may be rendered using the extension Prettify |
28 Symbols Mode. It needs to be configured manually as follows: |
23 Symbols Mode. It needs to be configured manually as follows: |