Ruud H.G. van Tol on Tue, 16 Jul 2024 11:16:02 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

help in terminal instead of dvi viewer



On 2024-07-16 10:58, hermann@stamm-wilbrandt.de wrote:
How can I get "??gcd" help in terminal instead of dvi viewer?

Thanks for asking. Same issue recently started here.

-- Ruud