Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog.

Unreleased

Changed

Clarify tactics and their options in the tutorial, in particular in_right for aac_rewrite

8.20.0 - 2024-06-27

Added

Tests for try aac_rewrite and try aac_normalise that failed on 8.19

8.19.1 - 2024-06-01

Added

aac_normalise in H tactic.
gcd and lcm instances for Nat, N, and Z.

Fixed

Make the order of sums produced by aac_normalise tactic consistent across calls.