5 Aprile 2012 alle 15:28
#71970
::
Castelli” post=71153Perdona la mia ignoranza ma sono proprio alle prime armi: cosa vuol dire aprire un terminale?
Io uso TexLive su Windows e come editor Texworks, potresti suggerirmi?Grazie mille in anticipo.
Start > Tutti i programmi > Accessori > Prompt dei comandi: nella finestra che si apre scrivi [tt]texdoc minitoc[/tt].
Ciao
Orlando