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



On Tue, 12 Feb 2013, Matthew Fernandez wrote:

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 nicta.com.au> a écrit:

Hi,

Firstly, does Isabelle have a bug tracker?

May be this: https://bitbucket.org/isabelle_project/isabelle-release/issues

This is a general issue tracker, and indeed only for the Isabelle2013 final release stage, starting with Isabelle2013-RC1 where this became public in the sense of isabelle-users. This is why we've had all this traffic here in the past few weeks.

Anything about the inter-release Isabelle repository is off-topic on isabelle-users. You have to go to isabelle-dev for that, which is also *the* tracker for all issues in the development process.


	Makarius


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