Updated doc.
Fixed double click selection in the Prolog editor.