Document listing/1#2929

rotu wants to merge 4 commits intomthom:mastermthom/scryer-prolog:masterfrom

rotu:patch-2rotu/scryer-prolog:patch-2Copy head branch name to clipboard