Re: [PATCH] Re: 1.5.2 error

[Juergen Spitzmueller]

Jean-Marc Lasgouttes wrote:

> Create a amsart.layout-based document with just a corollary. It won't
> typeset because it relies on a "thm" counter.

This is now also on bugzilla:
http://bugzilla.lyx.org/show_bug.cgi?id=4282

Jürgen