Re: [fricas-devel] obsolete hyperdoc buttons in chapter 14?

On Wed, May 08, 2024 at 06:13:55PM +0800, Qian Yun wrote: > For the reference book built with 1.3.10 release, > I believe the following 3 buttons are no longer available: > > "Related operations" Figure 14.14 (page 874) > > "generalize" Figure 14.19 (page 883) > > "all domains" Figure 14.20 (pag

[fricas-devel] obsolete hyperdoc buttons in chapter 14?

For the reference book built with 1.3.10 release, I believe the following 3 buttons are no longer available: "Related operations" Figure 14.14 (page 874) "generalize" Figure 14.19 (page 883) "all domains" Figure 14.20 (page 883) - Qian -- You received this message because you are subscribed t