equal
deleted
inserted
replaced
182 *** System *** |
182 *** System *** |
183 |
183 |
184 * The Isabelle system environment always ensures that the main |
184 * The Isabelle system environment always ensures that the main |
185 executables are found within the PATH: isabelle, isabelle_process, |
185 executables are found within the PATH: isabelle, isabelle_process, |
186 isabelle_scala_script. |
186 isabelle_scala_script. |
|
187 |
|
188 * The isabelle_process executable no longer supports writable heap |
|
189 images. INCOMPATIBILITY in exotic situations where "isabelle build" |
|
190 cannot be used: the structure ML_Heap provides operations to save the ML |
|
191 heap under program control. |
187 |
192 |
188 * The somewhat pointless command-line tool "isabelle yxml" has been |
193 * The somewhat pointless command-line tool "isabelle yxml" has been |
189 discontinued. INCOMPATIBILITY, use operations from the modules "XML" and |
194 discontinued. INCOMPATIBILITY, use operations from the modules "XML" and |
190 "YXML" in Isabelle/ML or Isabelle/Scala. |
195 "YXML" in Isabelle/ML or Isabelle/Scala. |
191 |
196 |