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> a écrit:


Firstly, does Isabelle have a bug tracker?

May be this:

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