Bill Allombert on Sun, 10 Dec 2023 21:28:40 +0100


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

Re: The GP command “?”


On Sun, Dec 10, 2023 at 03:58:35PM +0000, John Cremona wrote:
> I do use ? as I still don't know the section numbers.

... especially since we change them from time to time.
Some sections are a bit too crowded, but '??10' is useful.

And this is more useful than a fixed text intended for beginners. 

Also  the single-question-mark display system is not suitable for long text.
Maybe we can add
??beginners before ??tutorial

Cheers,
Bill