10 Gennaio 2014 alle 20:56
#91403
::
Ho appena notato che “Latin Modern Roman” è il font predefinito, cioè ottieni un documento identico con e senza l’istruzione
`\setmainfont{Latin Modern Roman}`
quindi, forse, questo è un caso particolare. Per il resto, nelle poche prove che ho fatto, i comandi di selezione dei font dovrebbero accettare tutti i font (indicati per nome o nome del file) che si ottengono con
`luaotfload-tool –list=basename`