On Mon, Apr 29, 2024 at 08:33:58AM +0200, Ralf Hemmecke wrote:
> Dear Waldek,
>
> since you replaced \center by \centerline recently.
> There are still a few places where \center occurs.
> Maybe it would be a good idea to also change them to 廄centerline'
Thanks for info. I overlooked the first o
Dear Waldek,
since you replaced \center by \centerline recently.
There are still a few places where \center occurs.
Maybe it would be a good idea to also change them to ´\centerline'
Ralf
https://github.com/fricas/fricas/blob/master/src/hyper/htinp.c#L442
fprintf(pfile,
"\\center{\\unixco
