On Fri, 13 Jan 2017, Riccardo (Jack) Lucchetti wrote:
 On Fri, 13 Jan 2017, Allin Cottrell wrote:
> Regardless, "set verbose off" would turn off both (or "on" turn
on both). 
> In my notion there would be a third libset string, but no third variable as 
> such.
 Ok, if I understand correctly what you mean, that's now in git. 
That's exactly what I meant, thanks!
So just for the record, here's what's new:
<hansl>
set verbose off
<hansl>
can now be used to achieve the same effect as
<hansl>
set echo off
set messages off
</hansl>
and mutatis mutandis in the "on" direction. "echo" and
"messages" 
can still be toggled individually if anyone has a reason to do so, 
but "set verbose" overrides the state of the individual toggles.
Allin