isabelle: Changelog

immler@in.tum.de [Thu, 19 Mar 2009 13:09:52 +0100] rev 34535

LinearSet.prev

wenzelm [Mon, 02 Mar 2009 19:27:06 +0100] rev 34534

merged, resolving minor conflicts;

wenzelm [Mon, 02 Mar 2009 19:17:20 +0100] rev 34533

preliminary/failed attempt to use the new IsarDocument access model to the prover; misc tuning;

immler@in.tum.de [Sun, 08 Mar 2009 23:03:49 +0100] rev 34532

ProofDocument without state handle text-events via actor

immler@in.tum.de [Thu, 05 Mar 2009 16:40:49 +0100] rev 34531

*very* superficial usage of LinearSet

immler@in.tum.de [Thu, 05 Mar 2009 10:53:47 +0100] rev 34530

implemented delete_after

immler@in.tum.de [Thu, 05 Mar 2009 10:13:25 +0100] rev 34529

implemented insert_after

immler@in.tum.de [Wed, 04 Mar 2009 17:46:42 +0100] rev 34528

changed title

immler@in.tum.de [Wed, 04 Mar 2009 17:07:47 +0100] rev 34527

added Makarius' LinearSet

immler@in.tum.de [Thu, 19 Feb 2009 20:44:28 +0100] rev 34526

tokens and commands as lists

isabelle