Commit 3136b00
reffy-bot
Update of TR report from new reffy run
Using reffy commit 19.1.7.1 parent df1edbd commit 3136b00
File tree
14 files changed
+340
-279
lines changed- tr
- algorithms
- dfns
- headings
- ids
- links
- refs
14 files changed
+340
-279
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | | - | |
| 12 | + | |
13 | 13 | | |
14 | 14 | | |
15 | | - | |
| 15 | + | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
| 18 | + | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4746 | 4746 | | |
4747 | 4747 | | |
4748 | 4748 | | |
4749 | | - | |
| 4749 | + | |
4750 | 4750 | | |
| 4751 | + | |
| 4752 | + | |
| 4753 | + | |
4751 | 4754 | | |
4752 | 4755 | | |
4753 | 4756 | | |
| |||
4785 | 4788 | | |
4786 | 4789 | | |
4787 | 4790 | | |
4788 | | - | |
| 4791 | + | |
4789 | 4792 | | |
| 4793 | + | |
| 4794 | + | |
| 4795 | + | |
4790 | 4796 | | |
4791 | 4797 | | |
4792 | 4798 | | |
| |||
4852 | 4858 | | |
4853 | 4859 | | |
4854 | 4860 | | |
| 4861 | + | |
| 4862 | + | |
| 4863 | + | |
4855 | 4864 | | |
4856 | 4865 | | |
4857 | 4866 | | |
| |||
4873 | 4882 | | |
4874 | 4883 | | |
4875 | 4884 | | |
4876 | | - | |
| 4885 | + | |
4877 | 4886 | | |
4878 | 4887 | | |
4879 | 4888 | | |
| |||
4927 | 4936 | | |
4928 | 4937 | | |
4929 | 4938 | | |
4930 | | - | |
| 4939 | + | |
4931 | 4940 | | |
4932 | 4941 | | |
4933 | 4942 | | |
4934 | 4943 | | |
4935 | 4944 | | |
4936 | 4945 | | |
4937 | | - | |
| 4946 | + | |
4938 | 4947 | | |
4939 | 4948 | | |
4940 | 4949 | | |
| |||
6908 | 6917 | | |
6909 | 6918 | | |
6910 | 6919 | | |
6911 | | - | |
| 6920 | + | |
6912 | 6921 | | |
6913 | 6922 | | |
6914 | 6923 | | |
| |||
9463 | 9472 | | |
9464 | 9473 | | |
9465 | 9474 | | |
9466 | | - | |
| 9475 | + | |
9467 | 9476 | | |
9468 | 9477 | | |
9469 | 9478 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1472 | 1472 | | |
1473 | 1473 | | |
1474 | 1474 | | |
1475 | | - | |
| 1475 | + | |
1476 | 1476 | | |
1477 | | - | |
| 1477 | + | |
1478 | 1478 | | |
1479 | 1479 | | |
1480 | 1480 | | |
| |||
1495 | 1495 | | |
1496 | 1496 | | |
1497 | 1497 | | |
1498 | | - | |
| 1498 | + | |
1499 | 1499 | | |
1500 | | - | |
| 1500 | + | |
1501 | 1501 | | |
1502 | 1502 | | |
1503 | 1503 | | |
| |||
1518 | 1518 | | |
1519 | 1519 | | |
1520 | 1520 | | |
1521 | | - | |
| 1521 | + | |
1522 | 1522 | | |
1523 | | - | |
| 1523 | + | |
1524 | 1524 | | |
1525 | 1525 | | |
1526 | 1526 | | |
| |||
1541 | 1541 | | |
1542 | 1542 | | |
1543 | 1543 | | |
1544 | | - | |
| 1544 | + | |
1545 | 1545 | | |
1546 | | - | |
| 1546 | + | |
1547 | 1547 | | |
1548 | 1548 | | |
1549 | 1549 | | |
| |||
1564 | 1564 | | |
1565 | 1565 | | |
1566 | 1566 | | |
1567 | | - | |
| 1567 | + | |
1568 | 1568 | | |
1569 | | - | |
| 1569 | + | |
1570 | 1570 | | |
1571 | 1571 | | |
1572 | 1572 | | |
| |||
1588 | 1588 | | |
1589 | 1589 | | |
1590 | 1590 | | |
1591 | | - | |
| 1591 | + | |
1592 | 1592 | | |
1593 | | - | |
| 1593 | + | |
1594 | 1594 | | |
1595 | 1595 | | |
1596 | 1596 | | |
| |||
1612 | 1612 | | |
1613 | 1613 | | |
1614 | 1614 | | |
1615 | | - | |
| 1615 | + | |
1616 | 1616 | | |
1617 | | - | |
| 1617 | + | |
1618 | 1618 | | |
1619 | 1619 | | |
1620 | 1620 | | |
| |||
1636 | 1636 | | |
1637 | 1637 | | |
1638 | 1638 | | |
1639 | | - | |
| 1639 | + | |
1640 | 1640 | | |
1641 | | - | |
| 1641 | + | |
1642 | 1642 | | |
1643 | 1643 | | |
1644 | 1644 | | |
| |||
1659 | 1659 | | |
1660 | 1660 | | |
1661 | 1661 | | |
1662 | | - | |
| 1662 | + | |
1663 | 1663 | | |
1664 | | - | |
| 1664 | + | |
1665 | 1665 | | |
1666 | 1666 | | |
1667 | 1667 | | |
| |||
1683 | 1683 | | |
1684 | 1684 | | |
1685 | 1685 | | |
1686 | | - | |
| 1686 | + | |
1687 | 1687 | | |
1688 | | - | |
| 1688 | + | |
1689 | 1689 | | |
1690 | 1690 | | |
1691 | 1691 | | |
| |||
1708 | 1708 | | |
1709 | 1709 | | |
1710 | 1710 | | |
1711 | | - | |
| 1711 | + | |
1712 | 1712 | | |
1713 | | - | |
| 1713 | + | |
1714 | 1714 | | |
1715 | 1715 | | |
1716 | 1716 | | |
| |||
1732 | 1732 | | |
1733 | 1733 | | |
1734 | 1734 | | |
1735 | | - | |
| 1735 | + | |
1736 | 1736 | | |
1737 | | - | |
| 1737 | + | |
1738 | 1738 | | |
1739 | 1739 | | |
1740 | 1740 | | |
| |||
1756 | 1756 | | |
1757 | 1757 | | |
1758 | 1758 | | |
1759 | | - | |
| 1759 | + | |
1760 | 1760 | | |
1761 | | - | |
| 1761 | + | |
1762 | 1762 | | |
1763 | 1763 | | |
1764 | 1764 | | |
| |||
1781 | 1781 | | |
1782 | 1782 | | |
1783 | 1783 | | |
1784 | | - | |
| 1784 | + | |
1785 | 1785 | | |
1786 | | - | |
| 1786 | + | |
1787 | 1787 | | |
1788 | 1788 | | |
1789 | 1789 | | |
| |||
1804 | 1804 | | |
1805 | 1805 | | |
1806 | 1806 | | |
1807 | | - | |
| 1807 | + | |
1808 | 1808 | | |
1809 | | - | |
| 1809 | + | |
1810 | 1810 | | |
1811 | 1811 | | |
1812 | 1812 | | |
| |||
1828 | 1828 | | |
1829 | 1829 | | |
1830 | 1830 | | |
1831 | | - | |
| 1831 | + | |
1832 | 1832 | | |
1833 | | - | |
| 1833 | + | |
1834 | 1834 | | |
1835 | 1835 | | |
1836 | 1836 | | |
| |||
0 commit comments