I’ve finally got round to updating the Tarski hooks reference, so that piece of documentation is now up to date for Tarski 2.4.
The entire process is now automated, pulling the documentation straight from the inline documentation in the Tarski source code, so further updates to the hooks reference will happen entirely silently as new releases of Tarski come out.
If you’re interested in the code I use to do this, it’s available on GitHub.
