equal
deleted
inserted
replaced
20 * Discontinued old lib/scripts/polyml-platform, which has been |
20 * Discontinued old lib/scripts/polyml-platform, which has been |
21 obsolete since Isabelle2009-2. |
21 obsolete since Isabelle2009-2. |
22 |
22 |
23 * Theory loader: source files are exclusively located via the master |
23 * Theory loader: source files are exclusively located via the master |
24 directory of each theory node (where the .thy file itself resides). |
24 directory of each theory node (where the .thy file itself resides). |
25 The global load path (such as src/HOL/Library) is has been |
25 The global load path (such as src/HOL/Library) has been discontinued. |
26 discontinued. INCOMPATIBILITY. |
26 Note that the path element ~~ may be used to reference theories in the |
|
27 Isabelle home folder -- for instance, "~~/src/HOL/Library/FuncSet". |
|
28 INCOMPATIBILITY. |
27 |
29 |
28 * Various optional external tools are referenced more robustly and |
30 * Various optional external tools are referenced more robustly and |
29 uniformly by explicit Isabelle settings as follows: |
31 uniformly by explicit Isabelle settings as follows: |
30 |
32 |
31 ISABELLE_CSDP (formerly CSDP_EXE) |
33 ISABELLE_CSDP (formerly CSDP_EXE) |