equal
deleted
inserted
replaced
19 Command-line tool "isabelle update_theorems" updates theory sources |
19 Command-line tool "isabelle update_theorems" updates theory sources |
20 accordingly. |
20 accordingly. |
21 |
21 |
22 * Toplevel theorem statement 'proposition' is another alias for |
22 * Toplevel theorem statement 'proposition' is another alias for |
23 'theorem'. |
23 'theorem'. |
|
24 |
|
25 * HTML presentation uses the standard IsabelleText font and Unicode |
|
26 rendering of Isabelle symbols like Isabelle/Scala/jEdit. The former |
|
27 print mode "HTML" looses its special meaning. |
24 |
28 |
25 |
29 |
26 *** Prover IDE -- Isabelle/Scala/jEdit *** |
30 *** Prover IDE -- Isabelle/Scala/jEdit *** |
27 |
31 |
28 * Improved scheduling for urgent print tasks (e.g. command state output, |
32 * Improved scheduling for urgent print tasks (e.g. command state output, |