[Gretl-users] How can I eradicate a function permanently?

Dear all, I have just deleted a package I created for testing. However, the main (public) function contained in the package seems to still exist, and gretl prevents me from creating a new one with the same name. I have even uninstalled gretl and installed the latest version, but the function still exists even though the package no longer appears in the package list. How can I eradicate it permanently? -- Paolo Chirico RU e Prof.Agg. di Statistica Economica Università del Piemonte Orientale Dip. di Giurisprudenza e Scienze Politiche, Economiche e Sociali (DIGSPES) Alessandria, Italia -- Questa email è stata esaminata alla ricerca di virus dal software antivirus AVG. www.avg.com