equal
deleted
inserted
replaced
278 Path.print (ML) or Path.toString (Scala). INCOMPATIBILITY, the old (and |
278 Path.print (ML) or Path.toString (Scala). INCOMPATIBILITY, the old (and |
279 less versatile) operations File.shell_quote, File.shell_path etc. have |
279 less versatile) operations File.shell_quote, File.shell_path etc. have |
280 been discontinued. |
280 been discontinued. |
281 |
281 |
282 * SML/NJ and old versions of Poly/ML are no longer supported. |
282 * SML/NJ and old versions of Poly/ML are no longer supported. |
|
283 |
|
284 * Poly/ML heaps now follow the hierarchy of sessions, and thus require |
|
285 much less disk space. |
283 |
286 |
284 |
287 |
285 |
288 |
286 New in Isabelle2016 (February 2016) |
289 New in Isabelle2016 (February 2016) |
287 ----------------------------------- |
290 ----------------------------------- |