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
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