Ilya Zakharevich on Wed, 13 Dec 2023 00:18:56 +0100


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

Re: The GP command “?” 

On Sun, Dec 10, 2023 at 07:48:20PM +0100, Karim Belabas wrote:
> * John Cremona [2023-12-10 16:58]:
> > I do use ? as I still don't know the section numbers.  I wouldn't mind
> > having something like ?sections, but surely*noone* uses ?? to display
> > users.dvi !?
> 
> I do ...

I have been using it too — in the ages “before SumatraPDF”. — Which is
now the default “in MY workflow” (as opposed to the SYSTEM’S workflow).

  (Of course, GP cannot find my private preferences not registered
   with the OS — Windows.  So nowadays ?? became unused again…)

Yours,
Ilya