On Sat, 6 Jul 2013, Allin Cottrell wrote:

Hello all,

I'm thinking that I'd like to get rid of option to do

  set halt_on_error off

in gretl. But here's an opportunity to object if you are so
moved.

[...]

For (minimal) backward compatibility we could make it so that
issuing the command "set halt_on_error off" does not itself
provoke an error, but just prints something like "Warning:
obsolete 'set' argument ignored".

We could opt for a more gradual course of action:

* first, we reverse the default option to 'off' and we issue a
  warning about "halt_on_error" being a deprecated setting whenever
  appropriate

* in a few months, we scrap it.

Thoughts?