isabelle: Changelog

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

fixed special case; fixed conversion of offsets

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

added shortcut

wenzelm [Sat, 22 Aug 2009 23:24:15 +0200] rev 34665

generalized settings;

wenzelm [Sat, 22 Aug 2009 23:17:09 +0200] rev 34664

Isabelle component;

wenzelm [Sat, 22 Aug 2009 22:54:36 +0200] rev 34663

less ambitious array operations -- for improved compatibility with older versions of bash;

immler@in.tum.de [Thu, 13 Aug 2009 16:01:55 +0200] rev 34662

Text is not present any more

immler@in.tum.de [Thu, 13 Aug 2009 15:46:32 +0200] rev 34661

typo

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;

isabelle