isabelle: Changelog

immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34594

fixed duplicate document-id

immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34593

ignore unchanged commands

immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34592

ignore unchanged tokens

immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34591

split change on activate

immler@in.tum.de [Tue, 02 Jun 2009 19:00:58 +0200] rev 34590

return unchanged node on errors

wenzelm [Tue, 02 Jun 2009 23:37:36 +0200] rev 34589

handle_result: activate via explicit status "ready" (cf. http://isabelle.in.tum.de/repos/isabelle/rev/ce169bd37fc0); tuned;

wenzelm [Tue, 02 Jun 2009 22:31:58 +0200] rev 34588

superficial tuning;

wenzelm [Tue, 02 Jun 2009 22:00:28 +0200] rev 34587

updated versions;

wenzelm [Tue, 02 Jun 2009 21:46:32 +0200] rev 34586

type_at: no quotes;

wenzelm [Tue, 02 Jun 2009 21:44:16 +0200] rev 34585

tuned;

isabelle