Migliorata la GUI della Generazione PlDoc. Differenziata l'icone del bottone Genera rispetto al bottone Esegui.
Authored by: luigiantenucci 2017-03-09
Parent: [r682]
Child: [r684]