Commit 5787397
reffy-bot
Update of ED report from new reffy run
Using reffy commit 20.0.3.1 parent b42d1cc commit 5787397
File tree
5 files changed
+11937
-11856
lines changed- ed
- dfns
- headings
- ids
5 files changed
+11937
-11856
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4324 | 4324 | | |
4325 | 4325 | | |
4326 | 4326 | | |
| 4327 | + | |
| 4328 | + | |
| 4329 | + | |
| 4330 | + | |
| 4331 | + | |
| 4332 | + | |
| 4333 | + | |
| 4334 | + | |
| 4335 | + | |
| 4336 | + | |
| 4337 | + | |
| 4338 | + | |
| 4339 | + | |
| 4340 | + | |
| 4341 | + | |
| 4342 | + | |
| 4343 | + | |
| 4344 | + | |
| 4345 | + | |
| 4346 | + | |
| 4347 | + | |
4327 | 4348 | | |
4328 | 4349 | | |
4329 | 4350 | | |
| |||
4340 | 4361 | | |
4341 | 4362 | | |
4342 | 4363 | | |
4343 | | - | |
| 4364 | + | |
4344 | 4365 | | |
4345 | 4366 | | |
4346 | 4367 | | |
| |||
4361 | 4382 | | |
4362 | 4383 | | |
4363 | 4384 | | |
4364 | | - | |
| 4385 | + | |
4365 | 4386 | | |
4366 | 4387 | | |
4367 | 4388 | | |
| |||
4382 | 4403 | | |
4383 | 4404 | | |
4384 | 4405 | | |
4385 | | - | |
| 4406 | + | |
4386 | 4407 | | |
4387 | 4408 | | |
4388 | 4409 | | |
| |||
4403 | 4424 | | |
4404 | 4425 | | |
4405 | 4426 | | |
4406 | | - | |
| 4427 | + | |
4407 | 4428 | | |
4408 | 4429 | | |
4409 | 4430 | | |
| |||
4424 | 4445 | | |
4425 | 4446 | | |
4426 | 4447 | | |
4427 | | - | |
| 4448 | + | |
4428 | 4449 | | |
4429 | 4450 | | |
4430 | 4451 | | |
| |||
34822 | 34843 | | |
34823 | 34844 | | |
34824 | 34845 | | |
| 34846 | + | |
| 34847 | + | |
| 34848 | + | |
| 34849 | + | |
| 34850 | + | |
| 34851 | + | |
| 34852 | + | |
| 34853 | + | |
| 34854 | + | |
| 34855 | + | |
| 34856 | + | |
| 34857 | + | |
| 34858 | + | |
| 34859 | + | |
| 34860 | + | |
| 34861 | + | |
| 34862 | + | |
| 34863 | + | |
| 34864 | + | |
| 34865 | + | |
| 34866 | + | |
| 34867 | + | |
34825 | 34868 | | |
34826 | 34869 | | |
34827 | 34870 | | |
| |||
34839 | 34882 | | |
34840 | 34883 | | |
34841 | 34884 | | |
34842 | | - | |
| 34885 | + | |
34843 | 34886 | | |
34844 | 34887 | | |
34845 | 34888 | | |
| |||
34859 | 34902 | | |
34860 | 34903 | | |
34861 | 34904 | | |
34862 | | - | |
| 34905 | + | |
34863 | 34906 | | |
34864 | 34907 | | |
34865 | 34908 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1943 | 1943 | | |
1944 | 1944 | | |
1945 | 1945 | | |
| 1946 | + | |
| 1947 | + | |
| 1948 | + | |
| 1949 | + | |
| 1950 | + | |
| 1951 | + | |
| 1952 | + | |
1946 | 1953 | | |
1947 | 1954 | | |
1948 | 1955 | | |
1949 | 1956 | | |
1950 | 1957 | | |
1951 | | - | |
| 1958 | + | |
1952 | 1959 | | |
1953 | 1960 | | |
1954 | 1961 | | |
1955 | 1962 | | |
1956 | 1963 | | |
1957 | 1964 | | |
1958 | | - | |
| 1965 | + | |
1959 | 1966 | | |
1960 | 1967 | | |
1961 | 1968 | | |
1962 | 1969 | | |
1963 | 1970 | | |
1964 | 1971 | | |
1965 | | - | |
| 1972 | + | |
1966 | 1973 | | |
1967 | 1974 | | |
1968 | 1975 | | |
1969 | 1976 | | |
1970 | 1977 | | |
1971 | 1978 | | |
1972 | | - | |
| 1979 | + | |
1973 | 1980 | | |
1974 | 1981 | | |
1975 | 1982 | | |
1976 | 1983 | | |
1977 | 1984 | | |
1978 | 1985 | | |
1979 | | - | |
| 1986 | + | |
1980 | 1987 | | |
1981 | 1988 | | |
1982 | 1989 | | |
| |||
13780 | 13787 | | |
13781 | 13788 | | |
13782 | 13789 | | |
| 13790 | + | |
| 13791 | + | |
| 13792 | + | |
| 13793 | + | |
| 13794 | + | |
| 13795 | + | |
| 13796 | + | |
13783 | 13797 | | |
13784 | 13798 | | |
13785 | 13799 | | |
13786 | 13800 | | |
13787 | 13801 | | |
13788 | | - | |
| 13802 | + | |
13789 | 13803 | | |
13790 | 13804 | | |
13791 | 13805 | | |
13792 | 13806 | | |
13793 | 13807 | | |
13794 | 13808 | | |
13795 | | - | |
| 13809 | + | |
13796 | 13810 | | |
13797 | 13811 | | |
13798 | 13812 | | |
13799 | 13813 | | |
13800 | 13814 | | |
13801 | 13815 | | |
13802 | | - | |
| 13816 | + | |
13803 | 13817 | | |
13804 | 13818 | | |
13805 | 13819 | | |
13806 | 13820 | | |
13807 | 13821 | | |
13808 | 13822 | | |
13809 | | - | |
| 13823 | + | |
13810 | 13824 | | |
13811 | 13825 | | |
13812 | 13826 | | |
13813 | 13827 | | |
13814 | 13828 | | |
13815 | 13829 | | |
13816 | | - | |
| 13830 | + | |
13817 | 13831 | | |
13818 | 13832 | | |
13819 | 13833 | | |
| |||
14179 | 14193 | | |
14180 | 14194 | | |
14181 | 14195 | | |
14182 | | - | |
14183 | | - | |
14184 | | - | |
14185 | | - | |
14186 | | - | |
14187 | | - | |
14188 | | - | |
14189 | 14196 | | |
14190 | 14197 | | |
14191 | 14198 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4832 | 4832 | | |
4833 | 4833 | | |
4834 | 4834 | | |
| 4835 | + | |
4835 | 4836 | | |
4836 | 4837 | | |
4837 | 4838 | | |
| |||
0 commit comments