Christoph Burschka wrote: > The two modules require one of Theorems or Theorems (AMS), and conflict > only with each other. Still I wasn't able to enable either of them in > the document. Is this a bug?
All I can say is that this is also the case in LyX 2.0.5 and that BufferParams::moduleCanBeAdded() returns false for these modules. If there's a rationale for this, I don't know. Jürgen
