CHANGELOG.

CHANGELOG.md

@@ -7,6 +7,7 @@ API-breaking change is listed.
   `difference_difference_L` -> `difference_difference_l_L`, add
   `difference_difference_r` and `difference_difference_r_L`.
 - Let `set_solver` use `eauto` (instead of `idtac`) as its default solver.
+- Add tactic `tc_solve` (this was `iSolveTC` in Iris).
 
 The following `sed` script should perform most of the renaming
 (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).