I would like to add a bold link, for example to https://www.metalevel.at/clpb/.
So, I write:
[**https://www.metalevel.at/clpb/**](https://www.metalevel.at/clpb/)
This does not work for PlDoc in multiline comments, because the sequence /* that occurs here (in ...clpb/*...) itself starts a multiline comment.
I file this issue mostly as an interesting curiosity: When (re-)considering the PlDoc syntax at some point in the future, please take possible interactions with Prolog comment syntax into account.
I would like to add a bold link, for example to https://www.metalevel.at/clpb/.
So, I write:
This does not work for PlDoc in multiline comments, because the sequence
/*that occurs here (in...clpb/*...) itself starts a multiline comment.I file this issue mostly as an interesting curiosity: When (re-)considering the PlDoc syntax at some point in the future, please take possible interactions with Prolog comment syntax into account.