isabelle: Changelog

wenzelm [Wed, 17 May 2017 21:08:11 +0200] rev 65856

proper ml_statistics;

wenzelm [Wed, 17 May 2017 20:52:24 +0200] rev 65855

store processed content instead of somewhat bulky properties;

wenzelm [Wed, 17 May 2017 14:58:48 +0200] rev 65854

include full ML statistics: max heap size;

wenzelm [Wed, 17 May 2017 13:52:46 +0200] rev 65853

tuned;

wenzelm [Wed, 17 May 2017 13:50:30 +0200] rev 65852

eliminated unused operations;

wenzelm [Wed, 17 May 2017 13:47:19 +0200] rev 65851

tuned signature;

wenzelm [Wed, 17 May 2017 11:53:16 +0200] rev 65850

clarified universal table: include ml_statistics;

wenzelm [Wed, 17 May 2017 11:12:19 +0200] rev 65849

proper order for entry list cons;

wenzelm [Wed, 17 May 2017 10:49:19 +0200] rev 65848

proper check (amending ad35427dbe88);

wenzelm [Tue, 16 May 2017 22:57:12 +0200] rev 65847

less restrictive filter: omit empty charts, but show latest timing;

isabelle