Re: [isabelle] Isabelle2014-RC0: Cygwin can't delete temp files, the prover terminates



On 14-07-11 09:32, Makarius wrote:
The label 28-May-2014 does not have any official status to identify that version -- I need the Mercurial hash key.

Using the Cygwin Terminal of that version, what does "isabelle version -i" tell you?

It shows "bf5ddf4ec64b".

Regards,
GB




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