equal
deleted
inserted
replaced
347 * Discontinued special treatment of Proof General -- no longer guess |
347 * Discontinued special treatment of Proof General -- no longer guess |
348 PROOFGENERAL_HOME based on accidental file-system layout. Minor |
348 PROOFGENERAL_HOME based on accidental file-system layout. Minor |
349 INCOMPATIBILITY: provide PROOFGENERAL_HOME and PROOFGENERAL_OPTIONS |
349 INCOMPATIBILITY: provide PROOFGENERAL_HOME and PROOFGENERAL_OPTIONS |
350 settings manually, or use a Proof General version that has been |
350 settings manually, or use a Proof General version that has been |
351 bundled as Isabelle component. |
351 bundled as Isabelle component. |
|
352 |
|
353 * Settings variable ISABELLE_PLATFORM_FAMILY refers to the general |
|
354 platform family: "linux", "macos", "windows". |
352 |
355 |
353 |
356 |
354 New in Isabelle2012 (May 2012) |
357 New in Isabelle2012 (May 2012) |
355 ------------------------------ |
358 ------------------------------ |
356 |
359 |