equal
deleted
inserted
replaced
17 commands like 'ML_file' work without separate declaration of file |
17 commands like 'ML_file' work without separate declaration of file |
18 dependencies. Minor INCOMPATIBILITY. |
18 dependencies. Minor INCOMPATIBILITY. |
19 |
19 |
20 * Discontinued redundant 'use' command, which was superseded by |
20 * Discontinued redundant 'use' command, which was superseded by |
21 'ML_file' in Isabelle2013. Minor INCOMPATIBILITY. |
21 'ML_file' in Isabelle2013. Minor INCOMPATIBILITY. |
|
22 |
|
23 |
|
24 *** Prover IDE -- Isabelle/Scala/jEdit *** |
|
25 |
|
26 * Dockable window "Timing" provides an overview of relevant command |
|
27 timing information. |
22 |
28 |
23 |
29 |
24 *** Pure *** |
30 *** Pure *** |
25 |
31 |
26 * Discontinued obsolete 'axioms' command, which has been marked as |
32 * Discontinued obsolete 'axioms' command, which has been marked as |