]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1703 from aarroyoc/docs-arithmetic
authorMark Thom <[email protected]>
Wed, 25 Jan 2023 20:40:15 +0000 (21:40 +0100)
committerGitHub <[email protected]>
Wed, 25 Jan 2023 20:40:15 +0000 (21:40 +0100)
Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md


Trivial merge