isabelle: Changelog

wenzelm [Tue, 30 Jul 2013 15:45:01 +0200] rev 52790

tuned comments;

wenzelm [Tue, 30 Jul 2013 15:20:38 +0200] rev 52789

tuned;

wenzelm [Tue, 30 Jul 2013 15:09:25 +0200] rev 52788

type theory is purely value-oriented;

wenzelm [Tue, 30 Jul 2013 12:07:14 +0200] rev 52787

pro-forma Execution.reset, despite lack of final join/commit;

wenzelm [Tue, 30 Jul 2013 11:54:57 +0200] rev 52786

tuned signature; removed notoriously outdated comments;

wenzelm [Tue, 30 Jul 2013 11:44:06 +0200] rev 52785

tuned;

wenzelm [Tue, 30 Jul 2013 11:38:43 +0200] rev 52784

de-assign execs that were not registered as running yet -- observe change of perspective more thoroughly;

nipkow [Mon, 29 Jul 2013 22:17:32 +0200] rev 52783

merged

nipkow [Mon, 29 Jul 2013 22:17:19 +0200] rev 52782

tuned intro

haftmann [Sun, 28 Jul 2013 05:32:02 +0200] rev 52781

silenced subsumption warnings for default code equations entirely

isabelle