isabelle: Changelog

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34679

improved repainting

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34678

tuned whitespace

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34677

catching NPE on val

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34676

Command and Command_State handle results from prover as Accumulator accumulating results in State; prover outputs any result

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34675

trait Accumulator; template for State accumulating results from prover

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34674

Command notifies changes

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34673

change_receiver and output_info are used before regular initialisation

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34672

TheoryView starts Prover

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34671

output_info specific to prover

immler@in.tum.de [Thu, 27 Aug 2009 10:51:09 +0200] rev 34670

proper activation with multiple buffers

isabelle