* version 0.13 (June 20, 2026)
Corrected a typo.

* version 0.12 (July 25, 2025)
Supported a text output. 

* version 0.11 (June 20, 2024)
Supported rule removal and CeTA 3.1 (CPF-3 outputs). 
An external termination prover is no longer necessary.

* version 0.10 (September 17, 2023)
All proof outputs are now certifiable by CeTA.
The options are reorganized.

* version 0.9 (September 16, 2023)
Certificates for rule labeling now indicate join sequences for efficient certification.
Supported -pcps+, -pcpscert, -pcpscert+, and renamed -pcpcs to -orthogonal+.
Corrected a performance bug in non-confluence check.

* version 0.8 (August 3, 2023) 
Supported certificate outputs for rule labeling.
Termination tools with XML inputs can be used.

* version 0.6 (March 4, 2023) 
Supported a reduction method.

* version 0.5 (July 9, 2022)
A release for CoCo 2022.

* version 0.4 (May 6, 2022)
Corrected the PCPS criterion.

* version 0.3 (April 28, 2022)
A maintenance release.

* version 0.2 (April 7, 2022)
Supported the automatic mode -auto.

* version 0.1 (February 19, 2022)
Released.  This is a prototype tool for the future version of CoLL/Saigawa.

-- Schedule --

* version 0.11 (tba)
...
