isabelle: Changelog

blanchet [Thu, 27 Feb 2014 13:04:57 +0100] rev 55772

correct most general type for mutual recursion when several identical types are involved

Lars Hupel <lars.hupel@mytum.de> [Thu, 27 Feb 2014 11:41:32 +0100] rev 55771

removed bogus "error" message (it appeared during regular mode of operation)

traytel [Wed, 26 Feb 2014 23:09:29 +0100] rev 55770

intermediate typedef for the type of the bound (local to lfp)

wenzelm [Wed, 26 Feb 2014 17:14:23 +0100] rev 55769

merged

wenzelm [Wed, 26 Feb 2014 17:12:07 +0100] rev 55768

tuned specifications and proofs;

wenzelm [Wed, 26 Feb 2014 14:59:24 +0100] rev 55767

more precise before_caret_range (looking both in space and time);

wenzelm [Wed, 26 Feb 2014 12:15:49 +0100] rev 55766

improved rendering of blinking cursor;

wenzelm [Wed, 26 Feb 2014 11:58:35 +0100] rev 55765

markup for method combinators;

wenzelm [Wed, 26 Feb 2014 11:14:38 +0100] rev 55764

tuned;

wenzelm [Wed, 26 Feb 2014 10:53:19 +0100] rev 55763

tuned signature;

isabelle