isabelle: Changelog

wenzelm [Wed, 29 Oct 2014 10:35:00 +0100] rev 58810

more standard theory name;

wenzelm [Wed, 29 Oct 2014 09:42:46 +0100] rev 58809

more iterators;

nipkow [Wed, 29 Oct 2014 12:01:39 +0100] rev 58808

removed useless lemmas

nipkow [Wed, 29 Oct 2014 11:03:23 +0100] rev 58807

tuned layout and proofs

wenzelm [Tue, 28 Oct 2014 17:16:22 +0100] rev 58806

tuned proofs; tuned white space; more symbols;

wenzelm [Tue, 28 Oct 2014 16:44:58 +0100] rev 58805

increase chances that HOL-Proofs image still works for polyml-5.3.0;

wenzelm [Tue, 28 Oct 2014 16:27:11 +0100] rev 58804

tuned signature;

wenzelm [Tue, 28 Oct 2014 16:20:26 +0100] rev 58803

proper selectMatch, e.g. relevant for S-click on gutter;

wenzelm [Tue, 28 Oct 2014 16:19:04 +0100] rev 58802

find command span in buffer; tuned signature;

wenzelm [Tue, 28 Oct 2014 13:52:54 +0100] rev 58801

'notepad' requires proper nesting of begin/end;

isabelle