# Revision history for package `eflint` 

## 3.1.0.0 (2023/04/22)  

* Started using changelog.

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

## 3.1.0.1 (2023/04/24)

Added an additional form of instance query of the form `?-- <EXPR>.` as syntactic sugar for `?- <EXPR> When Holds(<EXPR>).`