equal
deleted
inserted
replaced
13 * Discontinued support for Poly/ML 5.2, which was the last version |
13 * Discontinued support for Poly/ML 5.2, which was the last version |
14 without proper multithreading and TimeLimit implementation. |
14 without proper multithreading and TimeLimit implementation. |
15 |
15 |
16 * Discontinued old lib/scripts/polyml-platform, which has been |
16 * Discontinued old lib/scripts/polyml-platform, which has been |
17 obsolete since Isabelle2009-2. |
17 obsolete since Isabelle2009-2. |
|
18 |
|
19 * Theory loader: source files are exclusively located via the master |
|
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 |
|
22 discontinued. INCOMPATIBILITY. |
18 |
23 |
19 |
24 |
20 *** HOL *** |
25 *** HOL *** |
21 |
26 |
22 * Nitpick: |
27 * Nitpick: |