\centerline vs \center

[Ralf Hemmecke]

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{\\unixcommand{\\inputimage{\\env{FRICAS}/share/viewports/%s%d.VIEW/image}}{\\env{FRICAS}/bin/viewAlone\\space{1}
\\env{FRICAS}/share/viewports/%s%d}}\n", pagename, example_number,
pagename, example_number);
https://github.com/fricas/fricas/blob/master/src/hyper/htinp.c#L442

https://github.com/fricas/fricas/blob/master/src/hyper/spadint.c#L1060

storeString("\\center{");

https://github.com/fricas/fricas/blob/master/src/interp/br-search.boot#L761

(text . "\vspace{1}\newline\center{ ")

[Waldek Hebisch]

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 one. Second was in part
that I removed from my developement tree. Third was changed in
developement tree, but not commited yet.

> https://github.com/fricas/fricas/blob/master/src/hyper/htinp.c#L442
>
> fprintf(pfile, "\\center{\\unixcommand{\\inputimage{\\env{FRICAS}/share/viewports/%s%d.VIEW/image}}{\\env{FRICAS}/bin/viewAlone\\space{1}
> \\env{FRICAS}/share/viewports/%s%d}}\n", pagename, example_number, pagename,
> example_number);
> https://github.com/fricas/fricas/blob/master/src/hyper/htinp.c#L442
>
> https://github.com/fricas/fricas/blob/master/src/hyper/spadint.c#L1060
>
> storeString("\\center{");
>
> https://github.com/fricas/fricas/blob/master/src/interp/br-search.boot#L761
>
> (text . "\vspace{1}\newline\center{ ")

--
Waldek Hebisch