rme-what4-0.1.2: CHANGELOG.md

# Revision history for rme-what4

## 0.1.2 -- 2026-01-26

* Synchronize with `rme` release.

## 0.1.1

* Added support for uninterpreted functions

## 0.1

* First version.