equal
deleted
inserted
replaced
139 (the "Marketplace"). It serves as example for further potential IDE |
139 (the "Marketplace"). It serves as example for further potential IDE |
140 front-ends. |
140 front-ends. |
141 |
141 |
142 * ISABELLE_SCALA_BUILD_OPTIONS has been renamed to |
142 * ISABELLE_SCALA_BUILD_OPTIONS has been renamed to |
143 ISABELLE_SCALAC_OPTIONS. Rare INCOMPATIBILITY. |
143 ISABELLE_SCALAC_OPTIONS. Rare INCOMPATIBILITY. |
|
144 |
|
145 * Isabelle settings ISABELLE_WINDOWS_PLATFORM32 and |
|
146 ISABELLE_WINDOWS_PLATFORM64 indicate the native Windows platform |
|
147 (independently of the Cygwin installation). This is analogous to |
|
148 ISABELLE_PLATFORM32 and ISABELLE_PLATFORM64. |
144 |
149 |
145 |
150 |
146 |
151 |
147 New in Isabelle2016-1 (December 2016) |
152 New in Isabelle2016-1 (December 2016) |
148 ------------------------------------- |
153 ------------------------------------- |