Thank you!
We set up PHP 5.4. version and it works well. Your plugin looks very far reaching.
The next problem we face is that defn(Definition), prop(Proposition) and thm(Theorem) are not numbered independently. The first theorem in the text is called “Theorem 2” because we have “Definition 1” before it. Are there any possibilities to change it?
