Commit 5bb807e
reffy-bot
Update of ED report from new reffy run
Using reffy commit 18.8.0.1 parent ce28e03 commit 5bb807e
File tree
11 files changed
+295
-126
lines changed- ed
- algorithms
- dfns
- headings
- ids
- links
- refs
11 files changed
+295
-126
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
22494 | 22494 | | |
22495 | 22495 | | |
22496 | 22496 | | |
| 22497 | + | |
| 22498 | + | |
| 22499 | + | |
22497 | 22500 | | |
22498 | 22501 | | |
22499 | 22502 | | |
| |||
Large diffs are not rendered by default.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
63637 | 63637 | | |
63638 | 63638 | | |
63639 | 63639 | | |
| 63640 | + | |
| 63641 | + | |
| 63642 | + | |
| 63643 | + | |
| 63644 | + | |
| 63645 | + | |
| 63646 | + | |
| 63647 | + | |
| 63648 | + | |
| 63649 | + | |
| 63650 | + | |
| 63651 | + | |
| 63652 | + | |
| 63653 | + | |
| 63654 | + | |
| 63655 | + | |
| 63656 | + | |
| 63657 | + | |
| 63658 | + | |
| 63659 | + | |
| 63660 | + | |
| 63661 | + | |
| 63662 | + | |
| 63663 | + | |
| 63664 | + | |
| 63665 | + | |
| 63666 | + | |
| 63667 | + | |
| 63668 | + | |
| 63669 | + | |
| 63670 | + | |
| 63671 | + | |
| 63672 | + | |
| 63673 | + | |
| 63674 | + | |
| 63675 | + | |
| 63676 | + | |
| 63677 | + | |
| 63678 | + | |
| 63679 | + | |
| 63680 | + | |
| 63681 | + | |
63640 | 63682 | | |
63641 | 63683 | | |
63642 | 63684 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
782 | 782 | | |
783 | 783 | | |
784 | 784 | | |
| 785 | + | |
| 786 | + | |
| 787 | + | |
| 788 | + | |
| 789 | + | |
| 790 | + | |
| 791 | + | |
| 792 | + | |
| 793 | + | |
| 794 | + | |
| 795 | + | |
| 796 | + | |
| 797 | + | |
| 798 | + | |
| 799 | + | |
| 800 | + | |
| 801 | + | |
| 802 | + | |
| 803 | + | |
| 804 | + | |
| 805 | + | |
785 | 806 | | |
786 | 807 | | |
787 | 808 | | |
| |||
934 | 955 | | |
935 | 956 | | |
936 | 957 | | |
937 | | - | |
| 958 | + | |
938 | 959 | | |
939 | 960 | | |
940 | 961 | | |
| |||
953 | 974 | | |
954 | 975 | | |
955 | 976 | | |
956 | | - | |
| 977 | + | |
957 | 978 | | |
958 | 979 | | |
959 | 980 | | |
| |||
972 | 993 | | |
973 | 994 | | |
974 | 995 | | |
975 | | - | |
| 996 | + | |
976 | 997 | | |
977 | 998 | | |
978 | 999 | | |
| |||
991 | 1012 | | |
992 | 1013 | | |
993 | 1014 | | |
994 | | - | |
| 1015 | + | |
995 | 1016 | | |
996 | 1017 | | |
997 | 1018 | | |
| |||
1010 | 1031 | | |
1011 | 1032 | | |
1012 | 1033 | | |
1013 | | - | |
| 1034 | + | |
1014 | 1035 | | |
1015 | 1036 | | |
1016 | 1037 | | |
| |||
1029 | 1050 | | |
1030 | 1051 | | |
1031 | 1052 | | |
1032 | | - | |
| 1053 | + | |
1033 | 1054 | | |
1034 | 1055 | | |
1035 | 1056 | | |
| |||
1050 | 1071 | | |
1051 | 1072 | | |
1052 | 1073 | | |
1053 | | - | |
| 1074 | + | |
1054 | 1075 | | |
1055 | 1076 | | |
1056 | 1077 | | |
| |||
1071 | 1092 | | |
1072 | 1093 | | |
1073 | 1094 | | |
1074 | | - | |
| 1095 | + | |
1075 | 1096 | | |
1076 | 1097 | | |
1077 | 1098 | | |
| |||
1090 | 1111 | | |
1091 | 1112 | | |
1092 | 1113 | | |
1093 | | - | |
| 1114 | + | |
1094 | 1115 | | |
1095 | 1116 | | |
1096 | 1117 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
52 | 52 | | |
53 | 53 | | |
54 | 54 | | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
55 | 62 | | |
56 | 63 | | |
57 | 64 | | |
58 | 65 | | |
59 | 66 | | |
60 | | - | |
| 67 | + | |
61 | 68 | | |
62 | 69 | | |
63 | 70 | | |
64 | 71 | | |
65 | 72 | | |
66 | 73 | | |
67 | | - | |
| 74 | + | |
68 | 75 | | |
69 | 76 | | |
70 | 77 | | |
71 | 78 | | |
72 | 79 | | |
73 | 80 | | |
74 | | - | |
| 81 | + | |
75 | 82 | | |
76 | 83 | | |
77 | 84 | | |
78 | 85 | | |
79 | 86 | | |
80 | 87 | | |
81 | | - | |
| 88 | + | |
82 | 89 | | |
83 | 90 | | |
84 | 91 | | |
85 | 92 | | |
86 | 93 | | |
87 | 94 | | |
88 | | - | |
| 95 | + | |
89 | 96 | | |
90 | 97 | | |
91 | 98 | | |
92 | 99 | | |
93 | 100 | | |
94 | | - | |
95 | | - | |
| 101 | + | |
96 | 102 | | |
97 | 103 | | |
98 | 104 | | |
99 | 105 | | |
100 | 106 | | |
101 | | - | |
| 107 | + | |
102 | 108 | | |
103 | 109 | | |
104 | 110 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
833 | 833 | | |
834 | 834 | | |
835 | 835 | | |
| 836 | + | |
| 837 | + | |
836 | 838 | | |
837 | 839 | | |
838 | 840 | | |
| |||
37827 | 37829 | | |
37828 | 37830 | | |
37829 | 37831 | | |
| 37832 | + | |
| 37833 | + | |
| 37834 | + | |
| 37835 | + | |
| 37836 | + | |
| 37837 | + | |
37830 | 37838 | | |
37831 | 37839 | | |
37832 | 37840 | | |
| |||
37860 | 37868 | | |
37861 | 37869 | | |
37862 | 37870 | | |
| 37871 | + | |
37863 | 37872 | | |
37864 | 37873 | | |
37865 | 37874 | | |
| |||
0 commit comments