On Sun Feb 21, 2021 at 18:54 CET, Bakul Shah wrote:
> On Feb 21, 2021, at 9:14 AM, Sebastien Binet wrote:
> >
> > On Sun Feb 21, 2021 at 17:46 CET, Patrick wrote:
> >> Hi Sebastien,
> >>
> >> that was a manual translation of the web file.
> >> My plan was to do more than that, ... TeX is such a be
On Feb 21, 2021, at 9:14 AM, Sebastien Binet wrote:
>
> On Sun Feb 21, 2021 at 17:46 CET, Patrick wrote:
>> Hi Sebastien,
>>
>> that was a manual translation of the web file.
>> My plan was to do more than that, ... TeX is such a beast.
>
> yeah... "how hard would it be to translate ~20k lines
