Re: ams starred environments

[Jürgen Spitzmüller]

Russ Woodroofe wrote:
> In any case, it looks closer to the output.

I committed it.

Jürgen