]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1707 from triska/reif_doc
authorMark Thom <[email protected]>
Thu, 26 Jan 2023 01:03:14 +0000 (02:03 +0100)
committerGitHub <[email protected]>
Thu, 26 Jan 2023 01:03:14 +0000 (02:03 +0100)
commite948413c09ccb33447470f07a1e4245721fc6688
treec779c1f0fb031a28cd9de9edccfc84668621f50e
parentf8bb3148d0bea4bf29137d80e13c4690ae1d74a2
parenta29227d0d4195c180d43f91647179e6075e6cfff
Merge pull request #1707 from triska/reif_doc

DOC: add link to "Indexing dif/2" in DocLog format