isabelle: Changelog

wenzelm [Mon, 06 Apr 2020 21:07:38 +0200] rev 71713

more robust interrupt handling;

wenzelm [Mon, 06 Apr 2020 21:04:33 +0200] rev 71712

more robust kill: not always running on Isabelle_Thread (e.g. POSIX_Interrupt handler);

wenzelm [Mon, 06 Apr 2020 20:11:07 +0200] rev 71711

clarified signature;

wenzelm [Mon, 06 Apr 2020 20:02:15 +0200] rev 71710

clarified signature;

wenzelm [Mon, 06 Apr 2020 19:33:29 +0200] rev 71709

more uniform and Java-conformant: change of handler is non-blocking and interrupts should not be exposed prematurely (reverting 220d19f3e074);

wenzelm [Mon, 06 Apr 2020 14:03:58 +0200] rev 71708

terminate faster;

wenzelm [Mon, 06 Apr 2020 13:59:48 +0200] rev 71707

tuned;

wenzelm [Mon, 06 Apr 2020 13:54:45 +0200] rev 71706

tuned;

wenzelm [Mon, 06 Apr 2020 13:40:44 +0200] rev 71705

clarified interrupt handling;

wenzelm [Mon, 06 Apr 2020 12:53:45 +0200] rev 71704

clarified modules;

isabelle