equal
deleted
inserted
replaced
1 Isabelle NEWS -- history user-relevant changes |
1 Isabelle NEWS -- history of user-relevant changes |
2 ============================================== |
2 ================================================= |
3 |
3 |
4 New in Isabelle2014 (August 2014) |
4 New in Isabelle2014 (August 2014) |
5 --------------------------------- |
5 --------------------------------- |
6 |
6 |
7 *** General *** |
7 *** General *** |
32 markup commands) and "altstring" (for literal fact references) allow |
32 markup commands) and "altstring" (for literal fact references) allow |
33 cartouches as well, in addition to the traditional mix of quotations. |
33 cartouches as well, in addition to the traditional mix of quotations. |
34 |
34 |
35 * Syntax of document antiquotation @{rail} now uses \<newline> instead |
35 * Syntax of document antiquotation @{rail} now uses \<newline> instead |
36 of "\\", to avoid the optical illusion of escaped backslash within |
36 of "\\", to avoid the optical illusion of escaped backslash within |
37 string token. General renovation of its syntax using text cartouces. |
37 string token. General renovation of its syntax using text cartouches. |
38 Minor INCOMPATIBILITY. |
38 Minor INCOMPATIBILITY. |
39 |
39 |
40 * Discontinued legacy_isub_isup, which was a temporary workaround for |
40 * Discontinued legacy_isub_isup, which was a temporary workaround for |
41 Isabelle/ML in Isabelle2013-1. The prover process no longer accepts |
41 Isabelle/ML in Isabelle2013-1. The prover process no longer accepts |
42 old identifier syntax with \<^isub> or \<^isup>. Potential |
42 old identifier syntax with \<^isub> or \<^isup>. Potential |