equal
deleted
inserted
replaced
39 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
39 macOS 10.12 Sierra (macbroy30 MacBookPro6,2) |
40 |
40 |
41 x86-windows Windows 7 |
41 x86-windows Windows 7 |
42 x86_64-windows Windows 7 |
42 x86_64-windows Windows 7 |
43 x86-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86/release) |
43 x86-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86/release) |
|
44 x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release) |
44 |
45 |
45 All of the above platforms are 100% supported by Isabelle -- end-users |
46 All of the above platforms are 100% supported by Isabelle -- end-users |
46 should not have to care about the differences (at least in theory). |
47 should not have to care about the differences (at least in theory). |
47 |
48 |
48 Fringe platforms like BSD or Solaris are not supported. |
49 Fringe platforms like BSD or Solaris are not supported. |
65 |
66 |
66 The Isabelle settings environment provides the following variables to |
67 The Isabelle settings environment provides the following variables to |
67 help configuring platform-dependent tools: |
68 help configuring platform-dependent tools: |
68 |
69 |
69 ISABELLE_PLATFORM64 (potentially empty) |
70 ISABELLE_PLATFORM64 (potentially empty) |
70 ISABELLE_PLATFORM32 |
71 ISABELLE_PLATFORM32 (potentially empty) |
71 ISABELLE_PLATFORM |
72 ISABELLE_PLATFORM |
72 |
73 |
73 The ISABELLE_PLATFORM setting variable refers to the 32 bit version of |
74 The ISABELLE_PLATFORM setting variable refers to the 32 bit version of |
74 the platform, even on 64 bit hardware. Using regular bash notation, |
75 the platform, even on 64 bit hardware. Using regular bash notation, |
75 tools may express their preference for 64 bit with a fall-back for 32 |
76 tools may express their preference for 64 bit with a fall-back for 32 |