Revision history for package eflint

3.1.0.0 (2023/05/22)

• Started using changelog.

Last significant update: inclusion of 'instance queries' of the form ?- <EXPR>.