equal
deleted
inserted
replaced
203 |
203 |
204 * The somewhat pointless command-line tool "isabelle yxml" has been |
204 * The somewhat pointless command-line tool "isabelle yxml" has been |
205 discontinued. INCOMPATIBILITY, use operations from the modules "XML" and |
205 discontinued. INCOMPATIBILITY, use operations from the modules "XML" and |
206 "YXML" in Isabelle/ML or Isabelle/Scala. |
206 "YXML" in Isabelle/ML or Isabelle/Scala. |
207 |
207 |
208 * SML/NJ is no longer supported. |
208 * SML/NJ and old versions of Poly/ML are no longer supported. |
209 |
209 |
210 |
210 |
211 New in Isabelle2016 (February 2016) |
211 New in Isabelle2016 (February 2016) |
212 ----------------------------------- |
212 ----------------------------------- |
213 |
213 |