equal
deleted
inserted
replaced
188 * Isabelle settings ISABELLE_WINDOWS_PLATFORM, |
188 * Isabelle settings ISABELLE_WINDOWS_PLATFORM, |
189 ISABELLE_WINDOWS_PLATFORM32, ISABELLE_WINDOWS_PLATFORM64 indicate the |
189 ISABELLE_WINDOWS_PLATFORM32, ISABELLE_WINDOWS_PLATFORM64 indicate the |
190 native Windows platform (independently of the Cygwin installation). This |
190 native Windows platform (independently of the Cygwin installation). This |
191 is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32, |
191 is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32, |
192 ISABELLE_PLATFORM64. |
192 ISABELLE_PLATFORM64. |
193 |
|
194 |
|
195 *** System *** |
|
196 |
193 |
197 * System option "record_proofs" allows to change the global |
194 * System option "record_proofs" allows to change the global |
198 Proofterm.proofs variable for a session. Regular values are are 0, 1, 2; |
195 Proofterm.proofs variable for a session. Regular values are are 0, 1, 2; |
199 a negative value means the current state in the ML heap image remains |
196 a negative value means the current state in the ML heap image remains |
200 unchanged. |
197 unchanged. |