Re: [isabelle] 2014-RC1 issues



On 07.08.2014 16:57, David Matthews wrote:
> I would guess, and it is only a guess since I haven't actually tested
> this, is that there is an infinite or at least very deep recursion there.
This is indeed the case, so the the "soft breakdown", as Makarius put
it, is absolutely not surprising. I was mildly surprised when this
prevented the system from giving my some kind of trace.




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