From 76068a1c7d36683305a78e8b81174e6e14907a3a Mon Sep 17 00:00:00 2001 From: Kim Altintop Date: Tue, 8 Aug 2023 09:39:33 +0200 Subject: Properly cite Pijul --- Documentation/spec.adoc | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Documentation/spec.adoc b/Documentation/spec.adoc index c9b9bc6..63720d9 100644 --- a/Documentation/spec.adoc +++ b/Documentation/spec.adoc @@ -402,9 +402,9 @@ apart from causal ordering, is defined by its contents, which makes the format amenable for future extensions. In that sense, _it_ aspirationally uses the term "`patch`" in the generalised -way described by theoretical work such as <>, <>, and <>. -When describing the more mundane processing procedures, the term "`patch -bundle`" is also used, alluding to the container format. +way described by theoretical work such as <>, <>, <>, and +<>. When describing the more mundane processing procedures, the term +"`patch bundle`" is also used, alluding to the container format. === Bundles @@ -1387,6 +1387,7 @@ source code are licensed under either the <> or the // Patch Theory * [[[Darcs]]]: https://en.wikibooks.org/wiki/Understanding_Darcs/Patch_theory +* [[[Pijul]]]: https://pijul.org/manual/theory.html * [[[CaPT]]]: https://arxiv.org/abs/1311.3903 * [[[HoPT]]]: https://www.cambridge.org/core/journals/journal-of-functional-programming/article/homotopical-patch-theory/42AD8BB8A91688BCAC16FD4D6A2C3FE7 -- cgit v1.2.3