isabelle: Changelog

wenzelm [Thu, 16 Jul 2020 11:43:32 +0200] rev 72044

more robust: avoid potential problems with encoding of directory name;

haftmann [Thu, 16 Jul 2020 04:52:26 +0000] rev 72043

tuned grouping

haftmann [Thu, 16 Jul 2020 04:52:25 +0000] rev 72042

yet another alias

wenzelm [Wed, 15 Jul 2020 20:06:45 +0200] rev 72041

more robust wrt. experimental changes in Poly/ML;

wenzelm [Wed, 15 Jul 2020 17:10:26 +0200] rev 72040

more robust: handle unavailable statistics;

wenzelm [Wed, 15 Jul 2020 16:28:26 +0200] rev 72039

merged

wenzelm [Wed, 15 Jul 2020 16:10:43 +0200] rev 72038

clarified user counters: expose tasks to external monitor;

wenzelm [Wed, 15 Jul 2020 12:43:36 +0200] rev 72037

proper platform path for Windows;

wenzelm [Wed, 15 Jul 2020 12:30:25 +0200] rev 72036

clarified signature;

wenzelm [Wed, 15 Jul 2020 12:04:48 +0200] rev 72035

support for monitoring of external ML process;

isabelle