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