isabelle: Changelog

immler@in.tum.de [Sun, 11 Jan 2009 13:16:35 +0100] rev 34465

added EventBus for new command- or keyword-declarations

immler@in.tum.de [Sun, 11 Jan 2009 13:15:05 +0100] rev 34464

removed comment: theory-view registers when created

immler@in.tum.de [Sat, 10 Jan 2009 18:10:14 +0100] rev 34463

changed install/uninstall prover on view to private

immler@in.tum.de [Sat, 10 Jan 2009 17:59:23 +0100] rev 34462

merged

immler@in.tum.de [Sat, 10 Jan 2009 17:33:21 +0100] rev 34461

create folder 'jars' before copying

immler@in.tum.de [Fri, 19 Dec 2008 11:25:06 +0100] rev 34460

ability to deactivate buffers

wenzelm [Fri, 02 Jan 2009 15:34:56 +0100] rev 34459

adapted Isar.command;

wenzelm [Mon, 29 Dec 2008 21:01:55 +0100] rev 34458

- renamed Command.Phase to Command.Status (cf. src/Pure/Isar/isar.ML);

wenzelm [Mon, 29 Dec 2008 20:50:38 +0100] rev 34457

tuned;

wenzelm [Mon, 29 Dec 2008 20:43:04 +0100] rev 34456

replaced EventSource by EventBus; misc tuning;

isabelle