isabelle: Changelog

wenzelm [Wed, 17 Oct 2012 14:39:00 +0200] rev 49891

added Output "Detach" button;

wenzelm [Wed, 17 Oct 2012 14:20:54 +0200] rev 49890

skipped proofs appear as "bad" without counting as error;

wenzelm [Wed, 17 Oct 2012 13:20:08 +0200] rev 49889

more method position information, notably finished_pos after end of previous text;

wenzelm [Wed, 17 Oct 2012 10:46:14 +0200] rev 49888

more formal markup;

wenzelm [Wed, 17 Oct 2012 10:45:43 +0200] rev 49887

tuned signature; prefer exception Fail for internal errors;

wenzelm [Wed, 17 Oct 2012 10:26:27 +0200] rev 49886

more formal markup;

kuncar [Wed, 17 Oct 2012 00:16:31 +0200] rev 49885

don't be so aggressive when expanding a transfer rule relation; rewrite only the relational part of the rule

wenzelm [Tue, 16 Oct 2012 22:38:34 +0200] rev 49884

merged

blanchet [Tue, 16 Oct 2012 20:31:08 +0200] rev 49883

added missing file

traytel [Tue, 16 Oct 2012 20:11:15 +0200] rev 49882

tuned for document output

isabelle