Ciao Enrico,
grazie per l’aiuto ma la suoluzione dei \pagenumbering mi risolve il warning (fastidioso, è vero) e l’etichettatura della pagine nel pdf, ma non il problema del tempo di compilazione.
Ancora continua a “fermarsi” di tanto in tanto per riprendere dopo un po’ (non vorrei sbagliarmi, ma lo fa una compilazione si una no).
Per il \mynewline lo avevo utilizzato per risolvere qualche problema con beamer, stesso per \mydoublenewline. Appena mi capita terrò a mente il tuo ocnsiglio e proverò a usare \medskip.
Per l’ambiente proof grazie, avevo ricevuto quel codice per il template della tesi e ho continuato ad utilizzarlo.
I comandi \punto e \trian li ho usati in qualche vecchio documento e me li tengo per questioni di retrocompatibilità (non si sa mai)
Qualche altro suggerimento???