isabelle: Changelog

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

support for monitoring of external ML process;

wenzelm [Wed, 15 Jul 2020 11:56:43 +0200] rev 72034

clarified signature;

wenzelm [Mon, 13 Jul 2020 23:23:35 +0200] rev 72033

more robust;

wenzelm [Mon, 13 Jul 2020 23:10:47 +0200] rev 72032

support for monitoring of external ML process;

wenzelm [Mon, 13 Jul 2020 22:07:18 +0200] rev 72031

clarified modules: ML_Statistics within bootstrap environment;

wenzelm [Mon, 13 Jul 2020 21:20:36 +0200] rev 72030

misc tuning and modernization;

wenzelm [Mon, 13 Jul 2020 17:08:45 +0200] rev 72029

clarified examples;

haftmann [Mon, 13 Jul 2020 15:23:32 +0000] rev 72028

concatentation of bit values

haftmann [Sun, 12 Jul 2020 18:10:06 +0000] rev 72027

prefer canonically oriented lists of bits and more direct characterizations in definitions

haftmann [Sun, 12 Jul 2020 18:10:06 +0000] rev 72026

more simp rules for concrete numerical values

isabelle