Re: [isabelle] Isabelle repository won't build in an encrypted directory

Is that bug tracker only for issues related to the release? This problem
doesn't affect the release tarball because the jEdit/Scala components
are pre-built. Please correct me if I am wrong on this.

On 12/02/13 04:48, Yannick Duchêne (Hibou57) wrote:
Le Mon, 11 Feb 2013 18:25:46 +0100, Matthew Fernandez
<matthew.fernandez at> a écrit:


Firstly, does Isabelle have a bug tracker?

May be this:


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.