Dopo avere spuntato italian nei MiKTeX Settings avresti dovuto cliccare il bottone che più o meno recita: “Recreate format files”, sempre nei KiKTeX Settings. Avrai notato che ci sono tre bottoni con qualcosa scritto dentro; ecco, sono quelli che servono per gestire il sistema MiKTeX.
Comunque ho citato le scritte dei bottoni a memoria; ho usato MiKTeX per una quindicina di anni, poi sono passato a Mac, quindi sono 6 anni che non lo uso più; allora era LA distribuzione per antonomasia per le macchine Windows e TeX Live non esisteva ancora; su Linux c’era teTeX (assorbito ora da TeX Live) e su Mac c’erano solo prodotti commerciali (che io ricordi; forse OZTeX era gratuito, ma non avendo un Mac non ci avevo mai provato; ora Mac installa una versione di TeX Live che si chiama MacTeX, ma differisce solo per le modalità di installazione). Quindi oggi TeX Live è la distribuzione che va bene per tutte le piattaforme e quindi data questa ubiquità è quella che riceve la massima attenzione dagli sviluppatori, è quella meglio seguita e curata; è aggiornabile, volendo, quotidianamente; è quella che qui nel forum suggeriamo sempre.
Quando poi vorrei lasciare LyX e vorrai usare un vero shell editor LaTeX friendly, ti accorgerai quanto LyX sia vincolato e vincolante; hai solo l’imbarazzo della scelta e, tieni presente, il semplice editor TeXworks te lo sei già installato con TeX Live, anche se forse non te ne sei accorto. Poi ce ne sono diversi altri gratuiti e qui sul forum se pe parla spesso.