isabelle: Changelog

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

must unapply edits in reverse order

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

fixed some issues with multiple active buffers

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

clarified structure of TheoryView

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

isabelle