[Termtools] CeTA

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Sun Jun 28 21:43:11 CEST 2020


Hi


>> https://github.com/jwaldmann/ceta-postproc/issues/16
> 
> I'll leave this one for René or Akihisa (though the issue on github
> seems to be closed already).

it's closed because I implemented the work-around (back then).
The question (now) is whether that work-around is still needed.


>> * can you please export nat_from_integer
>> https://github.com/jwaldmann/ceta-postproc/issues/21
> 
> This happened with changeset f1285556fa56 of IsaFoR

thanks! I think I'll keep my work-around now,
and pull your change after competition.


- J


More information about the Termtools mailing list