[NTG-context] Re: new context option

Thanks Denis… I fixed the error. Sure, I had a sort of two years time jet lag :-) Best regards: Otared > On 24 Feb 2024, at 11:11, Denis Maier via ntg-context > wrote: > > Hi Otared > Shouldn't the version be 2024? > Best > Denis > >> Otared Kavian hat am 24.02.2024 10:40 CET geschr

[NTG-context] Re: new context option

Hi Otared Shouldn't the version be 2024?  Best Denis   Otared Kavian hat am 24.02.2024 10:40 CET geschrieben:     Hi Hans,   Thanks for this nice option: it comes handy for m

[NTG-context] Re: new context option

Hi Hans, Thanks for this nice option: it comes handy for many situations. I added a page for it: https://wiki.contextgarden.net/find Best regards: Otared > On 22 Feb 2024, at 18:40, Hans Hagen wrote: > > Hi, > > As I needed to check some command