@@ -539,17 +539,18 @@ These almost always come from the creation of a file.
539This is a parametrized type for list changes. For example, `(urge @t)`
539This is a parametrized type for list changes. For example, `(urge @t)`
540is a list change for lines of text.
540is a list change for lines of text.
542−#### `++unce`, change part of a list.
542+#### `+unce`, change part of a list.
545− ++ unce |* a=_,* :: change part
545+ ++ unce :: change part
546− $% [%& p=@ud] :: skip[copy]
547+ $% [%& p=@ud] :: skip[copy]
547− [%| p=(list a) q=(list a)] :: p -> q[chunk]
548+ [%| p=(list a) q=(list a)] :: p -> q[chunk]
551This is a single change in a list of elements of type `a`. For example,
552This is a single change in a list of elements of type `a`. For example,
552−`(unce ,@t)` is a single change in a lines of text.
553+`(unce @t)` is a single change in lines of text.
554`%&` means the next `p` lines are unchanged.
555`%&` means the next `p` lines are unchanged.