isabelle: Changelog

wenzelm [Wed, 21 Nov 2007 16:40:51 +0100] rev 25454

tuned;

wenzelm [Wed, 21 Nov 2007 16:36:47 +0100] rev 25453

include elapsed time for parallel sessions;

wenzelm [Wed, 21 Nov 2007 14:43:50 +0100] rev 25452

intern_skolem: disallow qualified names;

haftmann [Wed, 21 Nov 2007 14:18:23 +0100] rev 25451

fixed

haftmann [Wed, 21 Nov 2007 13:42:31 +0100] rev 25450

dropped diagnostic commands

wenzelm [Tue, 20 Nov 2007 14:01:49 +0100] rev 25449

tuned;

wenzelm [Tue, 20 Nov 2007 13:59:23 +0100] rev 25448

tuned spacing;

wenzelm [Tue, 20 Nov 2007 13:55:13 +0100] rev 25447

updated Proof General advertisement; tuned line breaks;

wenzelm [Tue, 20 Nov 2007 11:42:15 +0100] rev 25446

PolyML.SaveState.loadState: exit on failure;

aspinall [Mon, 19 Nov 2007 13:42:09 +0100] rev 25445

Init outer syntax after message setup to avoid spurious output.

isabelle