You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: