equal
deleted
inserted
replaced
170 |
170 |
171 *** System *** |
171 *** System *** |
172 |
172 |
173 * Command-line tool "isabelle version" supports repository archives |
173 * Command-line tool "isabelle version" supports repository archives |
174 (without full .hg directory). More options. |
174 (without full .hg directory). More options. |
|
175 |
|
176 * Obsolete settings variable ISABELLE_PLATFORM32 has been discontinued. |
|
177 Note that only Windows supports old 32 bit executables, via settings |
|
178 variable ISABELLE_WINDOWS_PLATFORM32. Everything else should be |
|
179 ISABELLE_PLATFORM64 (generic Posix) or ISABELLE_WINDOWS_PLATFORM64 |
|
180 (native Windows) or ISABELLE_APPLE_PLATFORM64 (Apple Silicon). |
175 |
181 |
176 |
182 |
177 |
183 |
178 New in Isabelle2021 (February 2021) |
184 New in Isabelle2021 (February 2021) |
179 ----------------------------------- |
185 ----------------------------------- |