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



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


--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University






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