isabelle: Changelog

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

wenzelm [Mon, 29 Jul 2013 20:51:05 +0200] rev 52780

merged

wenzelm [Mon, 29 Jul 2013 20:46:21 +0200] rev 52779

NEWS; tuned description;

isabelle