equal
deleted
inserted
replaced
404 * Synchronized.value (ML) is actually synchronized (as in Scala): |
404 * Synchronized.value (ML) is actually synchronized (as in Scala): |
405 subtle change of semantics with minimal potential for INCOMPATIBILITY. |
405 subtle change of semantics with minimal potential for INCOMPATIBILITY. |
406 |
406 |
407 * Goal.prove_multi is superseded by the fully general Goal.prove_common, |
407 * Goal.prove_multi is superseded by the fully general Goal.prove_common, |
408 which also allows to specify a fork priority. |
408 which also allows to specify a fork priority. |
|
409 |
|
410 * Antiquotation @{command_spec "COMMAND"} is superseded by |
|
411 @{command_keyword COMMAND} (usually without quotes and with PIDE |
|
412 markup). Minor INCOMPATIBILITY. |
409 |
413 |
410 |
414 |
411 *** System *** |
415 *** System *** |
412 |
416 |
413 * Support for Proof General and Isar TTY loop has been discontinued. |
417 * Support for Proof General and Isar TTY loop has been discontinued. |