[isabelle-dev] serious performance problems after update?

Makarius makarius at sketis.net
Sun Oct 28 12:26:42 CET 2007

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.


More information about the isabelle-dev mailing list