[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