| 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