equal
deleted
inserted
replaced
120 - Use extended reals instead of positive extended reals. |
120 - Use extended reals instead of positive extended reals. |
121 INCOMPATIBILITY. |
121 INCOMPATIBILITY. |
122 |
122 |
123 |
123 |
124 *** Document preparation *** |
124 *** Document preparation *** |
|
125 |
|
126 * Discontinued special treatment of hard tabulators, which are better |
|
127 avoided in the first place. Implicit tab-width is 1. |
125 |
128 |
126 * Antiquotation @{rail} layouts railroad syntax diagrams, see also |
129 * Antiquotation @{rail} layouts railroad syntax diagrams, see also |
127 isar-ref manual. |
130 isar-ref manual. |
128 |
131 |
129 * Antiquotation @{value} evaluates the given term and presents its result. |
132 * Antiquotation @{value} evaluates the given term and presents its result. |