On 19/11/2010 8:42 AM, Rudi Gaelzer wrote:
I'm asking because the alpha5 version is issuing error messages when it tries
to load the theorem modules.

What's the error message?

--
Julien

Reply via email to