Gruppo Utilizzatori Italiani di TeX

Re: Il vostro editor preferito?

9 Settembre 2025 alle 8:42 #2022
Guyaz
    Up
    0
    Down
    ::


    TexShop

    Anche se in realtà non è che ne conosca molti altri.

    G

    Go to top▲