From: Markus Triska Date: Wed, 1 Feb 2023 22:26:52 +0000 (+0100) Subject: correct DocLog ~/.scryerrc rendering X-Git-Tag: v0.9.2~197^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=da4c0a359b99217b717a7a25e1e48cd8fab48a82;p=scryer-prolog.git correct DocLog ~/.scryerrc rendering --- diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index d6223a45..0e860bf3 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -416,7 +416,7 @@ The [_arithmetic constraints_](#clpz-arith-constraints) `(#=)/2`, `(#>)/2` etc. are meant to be used _instead_ of the primitives `(is)/2`, `(=:=)/2`, `(>)/2` etc. over integers. Almost all Prolog programs also reason about integers. Therefore, it is recommended that -you put the following directive in your =|~/.scryerrc|= initialisation +you put the following directive in your `~/.scryerrc` initialisation file to make CLP(ℤ) constraints available in all your programs: ```