Commit 1ce96b2
reffy-bot
Update of ED report from new reffy run
Using reffy commit 19.2.2.1 parent 73a093d commit 1ce96b2
File tree
14 files changed
+434
-292
lines changed- ed
- algorithms
- dfns
- headings
- ids
- links
14 files changed
+434
-292
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4778 | 4778 | | |
4779 | 4779 | | |
4780 | 4780 | | |
4781 | | - | |
| 4781 | + | |
4782 | 4782 | | |
4783 | 4783 | | |
4784 | 4784 | | |
| |||
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
26 | 26 | | |
27 | 27 | | |
28 | 28 | | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
29 | 51 | | |
30 | 52 | | |
31 | 53 | | |
| |||
90 | 112 | | |
91 | 113 | | |
92 | 114 | | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
93 | 137 | | |
94 | 138 | | |
95 | 139 | | |
| |||
196 | 240 | | |
197 | 241 | | |
198 | 242 | | |
| 243 | + | |
| 244 | + | |
| 245 | + | |
| 246 | + | |
| 247 | + | |
| 248 | + | |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
| 257 | + | |
| 258 | + | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
199 | 265 | | |
200 | 266 | | |
201 | 267 | | |
| |||
692 | 758 | | |
693 | 759 | | |
694 | 760 | | |
695 | | - | |
| 761 | + | |
696 | 762 | | |
697 | 763 | | |
698 | 764 | | |
| |||
712 | 778 | | |
713 | 779 | | |
714 | 780 | | |
715 | | - | |
| 781 | + | |
716 | 782 | | |
717 | 783 | | |
718 | 784 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1444 | 1444 | | |
1445 | 1445 | | |
1446 | 1446 | | |
1447 | | - | |
1448 | | - | |
1449 | | - | |
1450 | | - | |
1451 | | - | |
1452 | | - | |
1453 | | - | |
1454 | | - | |
1455 | | - | |
1456 | | - | |
1457 | | - | |
1458 | | - | |
1459 | | - | |
1460 | | - | |
1461 | | - | |
1462 | | - | |
1463 | | - | |
1464 | | - | |
1465 | | - | |
1466 | | - | |
1467 | 1447 | | |
1468 | 1448 | | |
1469 | 1449 | | |
| |||
1948 | 1928 | | |
1949 | 1929 | | |
1950 | 1930 | | |
| 1931 | + | |
| 1932 | + | |
| 1933 | + | |
| 1934 | + | |
| 1935 | + | |
| 1936 | + | |
| 1937 | + | |
| 1938 | + | |
| 1939 | + | |
| 1940 | + | |
| 1941 | + | |
| 1942 | + | |
| 1943 | + | |
| 1944 | + | |
| 1945 | + | |
| 1946 | + | |
| 1947 | + | |
| 1948 | + | |
| 1949 | + | |
| 1950 | + | |
1951 | 1951 | | |
1952 | 1952 | | |
1953 | 1953 | | |
| |||
0 commit comments