isabelle: Changelog

immler@in.tum.de [Thu, 13 Nov 2008 13:08:37 +0100] rev 34364

playing with xsymbols

immler@in.tum.de [Thu, 13 Nov 2008 11:59:39 +0100] rev 34363

use utf-8 charset encoding

immler@in.tum.de [Tue, 11 Nov 2008 15:27:48 +0100] rev 34362

copying selection to clipboard

immler@in.tum.de [Mon, 10 Nov 2008 19:31:27 +0100] rev 34361

selecting text of state view

immler@in.tum.de [Mon, 10 Nov 2008 17:32:07 +0100] rev 34360

worked over autoscrolling

immler@in.tum.de [Thu, 06 Nov 2008 18:19:56 +0100] rev 34359

removed imports

immler@in.tum.de [Wed, 05 Nov 2008 16:28:56 +0100] rev 34358

minimum height for panels, immediate scrolling and correct waiting

immler@in.tum.de [Wed, 05 Nov 2008 15:53:53 +0100] rev 34357

scroll to first message immediately; potential later messages periodically

immler@in.tum.de [Wed, 05 Nov 2008 15:33:52 +0100] rev 34356

auto-scrolling

immler@in.tum.de [Mon, 03 Nov 2008 18:44:48 +0100] rev 34355

prepared for automatic scrolling

isabelle