Altre preferenze
Oltre alle preferenze di default di DR. GEO è possibile modificare
il nome di un oggetto geometrico a partire dal menu
Modifica -> Rinomina.
Modifica nome di una figura
Hai domande o commenti da fare?
Vuoi partecipare alla stesura di parti di questo manuale?
-> Contatta Andrea Centomo all'OFSET (acentomo at ofset dot org) o
aggiungiti alla lista per la diffusione di DR. GEO.