[isabelle-dev] Isabelle2013-2 release

[Peter Lammich]

> If a breakdown happens as easily as editing the text, it is a problem. 
> If it is merely a conceptual demonstration of breakability, if is not.


Of course my example was synthetic. 
The question is: Are there currently real proof methods that may run out
of stack space or otherwise throw Exn.Interrupt?
According to my experience, there are no such methods, so fixing this
problem may not be that urgent.

--
  Peter