equal
deleted
inserted
replaced
342 * system: support Poly/ML 4.1.1 (able to manage larger heaps); |
342 * system: support Poly/ML 4.1.1 (able to manage larger heaps); |
343 |
343 |
344 * system: Proof General keywords specification is now part of the |
344 * system: Proof General keywords specification is now part of the |
345 Isabelle distribution (see etc/isar-keywords.el); |
345 Isabelle distribution (see etc/isar-keywords.el); |
346 |
346 |
347 * system: some support for persistent Proof General sessions (refrain |
347 * system: support for persistent Proof General sessions (refrain from |
348 from outdating all loaded theories on startup); |
348 outdating all loaded theories on startup); user may create writable |
|
349 logic images like this: ``isabelle -q HOL Test''; |
349 |
350 |
350 * system: smart selection of Isabelle process versus Isabelle |
351 * system: smart selection of Isabelle process versus Isabelle |
351 interface, accommodates case-insensitive file systems (e.g. HFS+); may |
352 interface, accommodates case-insensitive file systems (e.g. HFS+); may |
352 run both "isabelle" and "Isabelle" even if file names are badly |
353 run both "isabelle" and "Isabelle" even if file names are badly |
353 damaged (executable inspects the case of the first letter of its own |
354 damaged (executable inspects the case of the first letter of its own |