isabelle: Changelog

immler@in.tum.de [Fri, 07 Aug 2009 13:04:59 +0200] rev 34660

Change consisting of a list of Edits

immler@in.tum.de [Mon, 03 Aug 2009 16:56:33 +0200] rev 34659

add is a private function

wenzelm [Mon, 27 Jul 2009 15:51:37 +0200] rev 34658

avoid internal "add" method;

wenzelm [Mon, 27 Jul 2009 15:51:12 +0200] rev 34657

removed unused imports;

immler@in.tum.de [Wed, 15 Jul 2009 13:49:21 +0200] rev 34656

decode offsets with respect to symbols

immler@in.tum.de [Wed, 15 Jul 2009 13:13:09 +0200] rev 34655

equal should be included

immler@in.tum.de [Mon, 13 Jul 2009 14:30:39 +0200] rev 34654

arbitrary history

immler@in.tum.de [Wed, 08 Jul 2009 15:15:15 +0200] rev 34653

commands carrying state-information

immler@in.tum.de [Wed, 08 Jul 2009 15:15:13 +0200] rev 34652

gui element to set current document version

immler@in.tum.de [Wed, 08 Jul 2009 13:29:44 +0200] rev 34651

set current document version; forget "future" versions in list

isabelle