Grazie, ma per il problema 1 è una cosa lunga, per il problema 2 è impraticabile: verosimilmente mentre scrivo posso solo supporre che mi servirà usare una tal definizione o una tale nota e quindi le inserisco in un ambiente numerato (e di solito ma non sempre ci metto un label). In fase di revisione se non c’è il label allora di sicuro non l’ho richiamato e posso eliminare la numerazione (diventata per lo più inutile) se invece c’è il label potrebbe essere comunque che la parte in cui mi riferivo a tale porzione di testo sia stata modificata, cambiata, eliminata (sopratutto se parliamo delle note introduttive dove è tutto un supermercato di prerequisiti, definizioni base e notazioni… richiamate esplicitamente, forse, chissà dove)
Chiaramente il tutto presuppone che, a mio avviso, è meglio un testo discorsivo che uno schematico quando non necessario. E una lista di venti [tt]\begin{definizione}..\end{definizione}[/tt] intervallata da nulla non mi pare carina e quindi lascerei (numerate) solo quelle richiamate in modo esplicito (lasciando le altre in paragrafi del tipo “definiamo poi…”).
Fare una ricerca “a mano” per ogni voce sarebbe davvero scomodo… (ovvio che se necessario…)
in ogni modo grazie mille.
notte notte,
Corrado.