equal
deleted
inserted
replaced
1 |
|
2 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history user-relevant changes |
3 ============================================== |
2 ============================================== |
4 |
3 |
5 *** Overview of INCOMPATIBILITIES *** |
4 *** Overview of INCOMPATIBILITIES *** |
6 |
5 |
22 definitions); |
21 definitions); |
23 |
22 |
24 * support sub/super scripts (for single symbols only), input syntax is |
23 * support sub/super scripts (for single symbols only), input syntax is |
25 like this: "A\<^sup>*" or "A\<^sup>\<star>"; |
24 like this: "A\<^sup>*" or "A\<^sup>\<star>"; |
26 |
25 |
27 * antiquotation @{goals} for output of *dynamic* goals state; Note |
26 * antiquotation @{goals} and @{subgoals} for output of *dynamic* goals state; |
28 that presentation of goal states does not conform to actual |
27 Note that presentation of goal states does not conform to actual |
29 human-readable proof documents. Please do not include goal states |
28 human-readable proof documents. Please do not include goal states |
30 into document output unless you really know what you are doing! |
29 into document output unless you really know what you are doing! |
31 |
30 |
32 |
31 |
33 *** Isar *** |
32 *** Isar *** |