[Termtools] BenchExec at last!

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Sun Jun 28 15:28:12 CEST 2020


> But, I don't think I have a resource to make another postprocessor for
> certified categories.

I can look into it.

It was working at some point in time? (I don't remember exactly.)

I have to dig through some old code...

What is the current version of CeTA that should be used?

- J.



More information about the Termtools mailing list