[Gretl-users] Re: Mixed command equivalent in gretl