Re: "Problem" environment

[Enrico Forestieri]

Richard Heck writes:
> 
> Has someone put this in the docs? It's an improvement, for sure, but it 
> will take some
> getting used to for us old-timers, I think.

I did that.

-- 
Enrico