::
L’editor non fa altro che scrivere il testo. Al massimo, dispone di “tastini” che consentono la compilazione dello stesso. Tuttavia, la compilazione usa le librerie di Texlive o Miktek.
Dunque, qualunque editor usi, non dovrebbe cambiare niente ai tuoi fini.
Vai tranquilla!
