isabelle: Changelog

wenzelm [Thu, 03 Jan 2013 14:23:10 +0100] rev 50701

NEWS: ML runtime statistics;

wenzelm [Thu, 03 Jan 2013 14:12:12 +0100] rev 50700

merged

wenzelm [Thu, 03 Jan 2013 14:10:57 +0100] rev 50699

more interesting fields;

wenzelm [Thu, 03 Jan 2013 14:03:44 +0100] rev 50698

always enable Future.ML_statistics where this makes sense -- runtime overhead should be negligible;

wenzelm [Thu, 03 Jan 2013 13:54:45 +0100] rev 50697

improved Monitor_Dockable, based on ML_Statistics operations; tuned signature;

blanchet [Thu, 03 Jan 2013 13:28:37 +0100] rev 50696

get rid of two-year-old hack, now that the "metis" skolemizer no longer gets stuck in HO unification

blanchet [Thu, 03 Jan 2013 13:11:04 +0100] rev 50695

avoid explosion in higher-order unification algorithm

blanchet [Thu, 03 Jan 2013 09:56:39 +0100] rev 50694

avoid repeated calls to metis from "resolve_tac" in case of ultimate failure

blanchet [Thu, 03 Jan 2013 00:02:15 +0100] rev 50693

tuned comment

wenzelm [Wed, 02 Jan 2013 22:16:16 +0100] rev 50692

merged

isabelle