Did you know ... Search Documentation:
Pack logtalk -- logtalk-3.90.1/coding/prettify/numberLines.js

The current version of pack logtalk does not contain a file logtalk-3.90.1/coding/prettify/numberLines.js