[Termtools] BenchExec at last!

[Christian Sternagel]

On Sun, Jun 28, 2020, 15:28 Johannes Waldmann <
johannes.waldmann at htwk-leipzig.de> wrote:

>
> > 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?
>

That would be 2.39

- chris


> - J.
>
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200628/bb69621a/attachment.htm>