Re: Lista dei label a portata di mano

In ambito Linux Kile ha una lista dei label, così come la nuova versione di winedt su windows. Non usando Mac non so aiutarti per quel che riguarda il tuo sistema.

Per linux lo so, infatti Kile è un ottimo editor, spero vivamente che lo portino presto multipiattaforma, anche se ho visto che si potrebbe installare anche su mac, ma va ricompilato tutto a mano..e sinceramente non ne sono in grado!