equal
deleted
inserted
replaced
20 directory of each theory node (where the .thy file itself resides). |
20 directory of each theory node (where the .thy file itself resides). |
21 The global load path (such as src/HOL/Library) is has been |
21 The global load path (such as src/HOL/Library) is has been |
22 discontinued. INCOMPATIBILITY. |
22 discontinued. INCOMPATIBILITY. |
23 |
23 |
24 * Various optional external tools are referenced more robustly and |
24 * Various optional external tools are referenced more robustly and |
25 uniformly by explicit Isabelle settings as follows, without automated |
25 uniformly by explicit Isabelle settings as follows: |
26 detection from the shell environment or path (potential |
26 |
27 INCOMPATIBILITY): |
27 ISABELLE_CSDP (formerly CSDP_EXE) |
28 |
28 ISABELLE_GHC (formerly EXEC_GHC or GHC_PATH) |
29 ISABELLE_CSDP (formerly CSDP_EXE) |
29 ISABELLE_OCAML (formerly EXEC_OCAML) |
|
30 ISABELLE_SWIPL (formerly EXEC_SWIPL) |
|
31 ISABELLE_YAP (formerly EXEC_YAP) |
|
32 |
|
33 Note that automated detection from the file-system or search path has |
|
34 been discontinued. INCOMPATIBILITY. |
30 |
35 |
31 |
36 |
32 *** HOL *** |
37 *** HOL *** |
33 |
38 |
34 * Nitpick: |
39 * Nitpick: |