On 05/27/2010 03:21 PM, Nikos Alexandris wrote:
Nikos Alexandris wrote:
Does this relate to... well, the "theorems-ams" module?
Probably. Try removing that.
Already did so and get the same error. After looking in "tRES2e.cls" I see no
line that contains the string "Load" and all "article" strings are actually
"articletype". I hope that the document does really work upon an existing
class... (hmm?)
Hmm. If you look at View>Source (Complete Source), is there anything in
the preamble that might be loading a proof environment?
rh