Re: Ctrl-Enter handling is different whether AMS math is used explicitly or automatically

[Anders Host-Madsen]

Thanks for the tip. I was also confused about the different
behavior in different documents. This clears it up.