isabelle: Changelog

wenzelm [Sat, 11 Jul 2020 15:23:22 +0200] rev 72012

clarified inlined protocol messages;

wenzelm [Sat, 11 Jul 2020 14:44:50 +0200] rev 72011

removed unused property;

haftmann [Sat, 11 Jul 2020 06:21:04 +0000] rev 72010

signed_take_bit

haftmann [Sat, 11 Jul 2020 06:21:02 +0000] rev 72009

more on single-bit operations

wenzelm [Fri, 10 Jul 2020 22:38:03 +0200] rev 72008

proper session Timing for build_history log file (see 5c4800f6b25a);

wenzelm [Fri, 10 Jul 2020 21:58:49 +0200] rev 72007

clarified signature;

wenzelm [Fri, 10 Jul 2020 21:30:21 +0200] rev 72006

more robust, notably for isabelle_cronjob;

wenzelm [Fri, 10 Jul 2020 21:23:01 +0200] rev 72005

more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;

desharna [Thu, 09 Jul 2020 11:39:16 +0200] rev 72004

Update Metis to 2.4

wenzelm [Wed, 08 Jul 2020 16:35:23 +0200] rev 72003

updated to polyml-5.8.1-20200708: recent repository version for testing;

isabelle