From: Adrián Arroyo Calle <adrian.arroyocalle@gmail.com>
Date: Thu, 2 Feb 2023 20:35:35 +0000 (+0100)
Subject: Minor fixes to docs
X-Git-Tag: v0.9.2~196^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e8408ca93f971e43bf2f1acfb8434fe44af0ffdd;p=scryer-prolog.git

Minor fixes to docs
---

diff --git a/INDEX.md b/INDEX.md
index b17a7190..907d1e9c 100644
--- a/INDEX.md
+++ b/INDEX.md
@@ -5,7 +5,7 @@
    X = "Scryer Prolog!".
 ```
 
-![scryer](scryer.png){width=128 style=float:right;} Scryer Prolog is a free software ISO Prolog system intended to be an industrial
+![scryer](scryer.png){width=128 style=float:right;} [Scryer Prolog](https://github.com/mthom/scryer-prolog) is a free software ISO Prolog system intended to be an industrial
 strength production environment *and* a testbed for bleeding edge research in
 logic and constraint programming.
 
@@ -38,7 +38,7 @@ general programs.
 
 If you want a more detailed description of Prolog, check [A Tour of Prolog](https://www.youtube.com/watch?v=8XUutFBbUrg).
 
-If you want to learn more about Prolog history, [check this video](https://www.youtube.com/watch?v=74Ig_QKndvE) and [this talk](https://prologyear.logicprogramming.org/videos/PrologDay_Session_1_talk.mp4).
+If you want to learn more about Prolog history, check the videos [l'Aventure Prolog](https://www.youtube.com/watch?v=74Ig_QKndvE) and [50 years of Prolog and beyond](https://prologyear.logicprogramming.org/videos/PrologDay_Session_1_talk.mp4).
 
 ## Where can I learn Prolog?
 
@@ -61,7 +61,7 @@ There's also a [Docker image](https://github.com/mthom/scryer-prolog#docker-inst
 ## Support and discussions
 
 If Scryer Prolog crashes or yields unexpected errors, consider filing
-an&nbsp;[issue](https://github.com/mthom/scryer-prolog/issues).
+an [issue](https://github.com/mthom/scryer-prolog/issues).
 
 To get in touch with the Scryer Prolog community, participate in
 [discussions](https://github.com/mthom/scryer-prolog/discussions)
diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index ee33c957..878919cf 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -600,6 +600,7 @@ write_term(Term, Options) :-
 %% write_term(+Stream, +Term, +Options).
 %
 % Write Term to the stream Stream according to some output syntax options. The options avaibale are:
+%
 %  * `ignore_ops(+Boolean)` if `true`, the generic term representation is used everywhere. In `false`
 %    (default), operators do not use that generic term representation.
 %  * `max_depth(+N)` if the term is nested deeper than N, print the reminder as ellipses.
@@ -2056,6 +2057,7 @@ stream_iter(S) :-
 %
 % For stream Stream, StreamProperty is a property that applies to that stream.
 % StreamProperty can be one of the following:
+%
 %  * `input` if stream is an input stream.
 %  * `output` if stream is an output stream.
 %  * `input_output` if stream is both an input and an output stream.