isabelle: Changelog

immler [Wed, 12 Nov 2014 17:36:29 +0100] rev 58982

simplified computations based on round_up by reducing to round_down; more general round_up_le1, round_up_less1, round_down_ge1, round_up_le0

immler [Wed, 12 Nov 2014 17:36:25 +0100] rev 58981

code equation for powr

wenzelm [Tue, 11 Nov 2014 21:14:19 +0100] rev 58980

merged

wenzelm [Tue, 11 Nov 2014 20:11:38 +0100] rev 58979

more careful ML source positions, for improved PIDE markup;

wenzelm [Tue, 11 Nov 2014 18:16:25 +0100] rev 58978

more position information, e.g. relevant for errors in generated ML source;

wenzelm [Tue, 11 Nov 2014 15:55:31 +0100] rev 58977

more symbols;

wenzelm [Tue, 11 Nov 2014 13:50:56 +0100] rev 58976

tuned whitespace;

wenzelm [Tue, 11 Nov 2014 13:44:09 +0100] rev 58975

more markup;

wenzelm [Tue, 11 Nov 2014 13:40:13 +0100] rev 58974

simplifie sessions;

wenzelm [Tue, 11 Nov 2014 11:47:53 +0100] rev 58973

more Isar proof methods;

isabelle