equal
deleted
inserted
replaced
23 * Updated and extended versions of main reference manuals. |
23 * Updated and extended versions of main reference manuals. |
24 |
24 |
25 * Simplified arrangement of Isabelle startup scripts and settings |
25 * Simplified arrangement of Isabelle startup scripts and settings |
26 directory. |
26 directory. |
27 |
27 |
28 * Simplified internal programming interfaces for all Isar language |
28 * Simplified programming interfaces for all Isar language elements. |
29 elements. |
|
30 |
29 |
31 * General high-level support for concurrent ML programming. |
30 * General high-level support for concurrent ML programming. |
32 |
31 |
33 * Parallel proof checking within Isar theories. |
32 * Parallel proof checking within Isar theories. |
34 |
33 |