On Sun, 15 Nov 2020, Sven Schreiber wrote:
 I wonder if it could make sense to amend the 'clear' command
with an
 option that would also unload all user-defined functions from memory and
 the active session? 
Hmm, seems to me that "clear" with no option probably ought to do 
that (unload all functions), the general idea being that it returns 
gretl to pristine state. Would it be too backward incompatible to 
arrange for that?
 Related question: Is there currently a way other than restarting
gretl
 to achieve that? (I know how to unload functions from a package manually.) 
No. You can unload packages and their functions one-by-one, or 
"delete" functions one-by-one, but if "clear" doesn't do it
there's 
no way to empty the user-defined function space in one go -- or not 
that I'm aware of.
Allin