equal
deleted
inserted
replaced
721 short-form identifier is only valid if it is the prefix of exactly one |
721 short-form identifier is only valid if it is the prefix of exactly one |
722 full-length identifier. |
722 full-length identifier. |
723 |
723 |
724 Any other string is treated as a bookmark, tag, or branch name. A bookmark |
724 Any other string is treated as a bookmark, tag, or branch name. A bookmark |
725 is a movable pointer to a revision. A tag is a permanent name associated |
725 is a movable pointer to a revision. A tag is a permanent name associated |
726 with a revision. A branch name denotes the tipmost revision of that |
726 with a revision. A branch name denotes the tipmost open branch head of |
|
727 that branch - or if they are all closed, the tipmost closed head of the |
727 branch. Bookmark, tag, and branch names must not contain the ":" |
728 branch. Bookmark, tag, and branch names must not contain the ":" |
728 character. |
729 character. |
729 |
730 |
730 The reserved name "tip" always identifies the most recent revision. |
731 The reserved name "tip" always identifies the most recent revision. |
731 |
732 |
1876 of exactly one full-length identifier. |
1877 of exactly one full-length identifier. |
1877 </p> |
1878 </p> |
1878 <p> |
1879 <p> |
1879 Any other string is treated as a bookmark, tag, or branch name. A |
1880 Any other string is treated as a bookmark, tag, or branch name. A |
1880 bookmark is a movable pointer to a revision. A tag is a permanent name |
1881 bookmark is a movable pointer to a revision. A tag is a permanent name |
1881 associated with a revision. A branch name denotes the tipmost revision |
1882 associated with a revision. A branch name denotes the tipmost open branch head |
1882 of that branch. Bookmark, tag, and branch names must not contain the ":" |
1883 of that branch - or if they are all closed, the tipmost closed head of the |
1883 character. |
1884 branch. Bookmark, tag, and branch names must not contain the ":" character. |
1884 </p> |
1885 </p> |
1885 <p> |
1886 <p> |
1886 The reserved name "tip" always identifies the most recent revision. |
1887 The reserved name "tip" always identifies the most recent revision. |
1887 </p> |
1888 </p> |
1888 <p> |
1889 <p> |