equal
deleted
inserted
replaced
179 *** System *** |
179 *** System *** |
180 |
180 |
181 * The Isabelle system environment always ensures that the main |
181 * The Isabelle system environment always ensures that the main |
182 executables are found within the PATH: isabelle, isabelle_process, |
182 executables are found within the PATH: isabelle, isabelle_process, |
183 isabelle_scala_script. |
183 isabelle_scala_script. |
|
184 |
|
185 * The somewhat pointless command-line tool "isabelle yxml" has been |
|
186 discontinued. INCOMPATIBILITY, use operations from the modules "XML" and |
|
187 "YXML" in Isabelle/ML or Isabelle/Scala. |
184 |
188 |
185 * SML/NJ is no longer supported. |
189 * SML/NJ is no longer supported. |
186 |
190 |
187 |
191 |
188 New in Isabelle2016 (February 2016) |
192 New in Isabelle2016 (February 2016) |