Re: \pushToTag and \appendToTag examples

2021-04-30 Thread David Kastrup
Gianmaria Lari writes: >> >> > Nota bene: I didn't yet add any examples that take advantage of David new >> > possibilities: >> >> Ah, but that was sort of the point. >> > > Sure, I'm sorry :( > I'll help with that too when I will be able to access this new feature. > >> P.S. I would have liked

Re: \pushToTag and \appendToTag examples

2021-04-30 Thread Gianmaria Lari
> > > Nota bene: I didn't yet add any examples that take advantage of David new > > possibilities: > > Ah, but that was sort of the point. > Sure, I'm sorry :( I'll help with that too when I will be able to access this new feature. > P.S. I would have liked to add a screenshot of the generated

Re: \pushToTag and \appendToTag examples

2021-04-29 Thread David Kastrup
Gianmaria Lari writes: > Following David Kastrup's suggestion, I wrote some hopefully simple > examples for \pushToTag and \appendToTag. > > I paid the maximum attention to make this code simple and clear but I'm > sure it contains millions of errors etc. etc. > It's just a

\pushToTag and \appendToTag examples

2021-04-29 Thread Gianmaria Lari
Following David Kastrup's suggestion, I wrote some hopefully simple examples for \pushToTag and \appendToTag. I paid the maximum attention to make this code simple and clear but I'm sure it contains millions of errors etc. etc. It's just a starting point. I hope it can be useful. Nota bene: I