[isabelle-dev] serious performance problems after update?

[Makarius]

On Sun, 28 Oct 2007, Steven Obua wrote:

> I am experiencing a major breakdown of performance after updating my 
> Isabelle system.

Enabling Toplevel.profiling will give you conrete numbers which help to 
figure out where to look.


        Makarius