File tree
12 files changed
+75
-50
lines changed- doc/src/sgml
12 files changed
+75
-50
lines changedLines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1080 | 1080 |
| |
1081 | 1081 |
| |
1082 | 1082 |
| |
| 1083 | + | |
| 1084 | + | |
1083 | 1085 |
| |
1084 | 1086 |
| |
1085 | 1087 |
| |
1086 | 1088 |
| |
1087 | 1089 |
| |
1088 | 1090 |
| |
1089 |
| - | |
1090 |
| - | |
| 1091 | + | |
1091 | 1092 |
| |
1092 | 1093 |
| |
1093 | 1094 |
| |
|
Lines changed: 12 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
188 | 188 |
| |
189 | 189 |
| |
190 | 190 |
| |
191 |
| - | |
| 191 | + | |
192 | 192 |
| |
193 | 193 |
| |
194 | 194 |
| |
| |||
1610 | 1610 |
| |
1611 | 1611 |
| |
1612 | 1612 |
| |
1613 |
| - | |
1614 |
| - | |
1615 |
| - | |
1616 |
| - | |
| 1613 | + | |
| 1614 | + | |
| 1615 | + | |
| 1616 | + | |
| 1617 | + | |
| 1618 | + | |
1617 | 1619 |
| |
1618 | 1620 |
| |
1619 | 1621 |
| |
| |||
4201 | 4203 |
| |
4202 | 4204 |
| |
4203 | 4205 |
| |
4204 |
| - | |
| 4206 | + | |
4205 | 4207 |
| |
4206 | 4208 |
| |
4207 | 4209 |
| |
| |||
5459 | 5461 |
| |
5460 | 5462 |
| |
5461 | 5463 |
| |
5462 |
| - | |
5463 |
| - | |
| 5464 | + | |
| 5465 | + | |
5464 | 5466 |
| |
5465 | 5467 |
| |
5466 |
| - | |
5467 |
| - | |
| 5468 | + | |
| 5469 | + | |
5468 | 5470 |
| |
5469 | 5471 |
| |
5470 | 5472 |
| |
|
Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
| 81 | + | |
| 82 | + | |
81 | 83 |
| |
82 | 84 |
| |
83 | 85 |
| |
| |||
86 | 88 |
| |
87 | 89 |
| |
88 | 90 |
| |
89 |
| - | |
90 |
| - | |
| 91 | + | |
91 | 92 |
| |
92 | 93 |
| |
93 | 94 |
| |
|
Lines changed: 6 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3983 | 3983 |
| |
3984 | 3984 |
| |
3985 | 3985 |
| |
| 3986 | + | |
| 3987 | + | |
| 3988 | + | |
| 3989 | + | |
3986 | 3990 |
| |
3987 | 3991 |
| |
3988 | 3992 |
| |
3989 | 3993 |
| |
3990 |
| - | |
3991 |
| - | |
3992 |
| - | |
| 3994 | + | |
| 3995 | + | |
3993 | 3996 |
| |
3994 | 3997 |
| |
3995 | 3998 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
398 | 398 |
| |
399 | 399 |
| |
400 | 400 |
| |
401 |
| - | |
| 401 | + | |
402 | 402 |
| |
403 | 403 |
| |
404 | 404 |
| |
| |||
716 | 716 |
| |
717 | 717 |
| |
718 | 718 |
| |
719 |
| - | |
720 |
| - | |
| 719 | + | |
| 720 | + | |
721 | 721 |
| |
722 | 722 |
| |
723 | 723 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
344 | 344 |
| |
345 | 345 |
| |
346 | 346 |
| |
347 |
| - | |
348 |
| - | |
| 347 | + | |
| 348 | + | |
349 | 349 |
| |
350 | 350 |
| |
351 | 351 |
| |
|
Lines changed: 14 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
895 | 895 |
| |
896 | 896 |
| |
897 | 897 |
| |
| 898 | + | |
| 899 | + | |
898 | 900 |
| |
899 |
| - | |
900 |
| - | |
901 |
| - | |
902 |
| - | |
903 |
| - | |
904 |
| - | |
905 |
| - | |
906 |
| - | |
907 |
| - | |
| 901 | + | |
| 902 | + | |
| 903 | + | |
| 904 | + | |
| 905 | + | |
| 906 | + | |
| 907 | + | |
908 | 908 |
| |
909 | 909 |
| |
910 | 910 |
| |
| |||
1170 | 1170 |
| |
1171 | 1171 |
| |
1172 | 1172 |
| |
| 1173 | + | |
| 1174 | + | |
| 1175 | + | |
| 1176 | + | |
| 1177 | + | |
1173 | 1178 |
| |
1174 |
| - | |
1175 |
| - | |
1176 | 1179 |
| |
1177 | 1180 |
| |
1178 | 1181 |
| |
|
Lines changed: 10 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
142 | 142 |
| |
143 | 143 |
| |
144 | 144 |
| |
145 |
| - | |
146 |
| - | |
| 145 | + | |
| 146 | + | |
| 147 | + | |
| 148 | + | |
| 149 | + | |
147 | 150 |
| |
148 | 151 |
| |
149 | 152 |
| |
| |||
264 | 267 |
| |
265 | 268 |
| |
266 | 269 |
| |
267 |
| - | |
268 |
| - | |
| 270 | + | |
| 271 | + | |
| 272 | + | |
| 273 | + | |
| 274 | + | |
269 | 275 |
| |
270 | 276 |
| |
271 | 277 |
| |
|
Lines changed: 5 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3188 | 3188 |
| |
3189 | 3189 |
| |
3190 | 3190 |
| |
| 3191 | + | |
| 3192 | + | |
| 3193 | + | |
| 3194 | + | |
3191 | 3195 |
| |
3192 |
| - | |
3193 |
| - | |
| 3196 | + | |
3194 | 3197 |
| |
3195 | 3198 |
| |
3196 | 3199 |
| |
|
Lines changed: 6 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
189 | 189 |
| |
190 | 190 |
| |
191 | 191 |
| |
| 192 | + | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
192 | 197 |
| |
193 |
| - | |
194 |
| - | |
| 198 | + | |
195 | 199 |
| |
196 | 200 |
| |
197 | 201 |
| |
|
Lines changed: 5 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
242 | 242 |
| |
243 | 243 |
| |
244 | 244 |
| |
| 245 | + | |
| 246 | + | |
| 247 | + | |
| 248 | + | |
245 | 249 |
| |
246 |
| - | |
247 |
| - | |
| 250 | + | |
248 | 251 |
| |
249 | 252 |
| |
250 | 253 |
| |
|
Lines changed: 6 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 |
| - | |
36 |
| - | |
37 |
| - | |
38 |
| - | |
| 35 | + | |
39 | 36 |
| |
40 | 37 |
| |
41 | 38 |
| |
| |||
218 | 215 |
| |
219 | 216 |
| |
220 | 217 |
| |
| 218 | + | |
| 219 | + | |
| 220 | + | |
| 221 | + | |
221 | 222 |
| |
222 | 223 |
| |
223 |
| - | |
224 |
| - | |
225 |
| - | |
| 224 | + | |
226 | 225 |
| |
227 | 226 |
| |
228 | 227 |
| |
|
0 commit comments