isabelle: Changelog

wenzelm [Thu, 12 Oct 2023 21:13:22 +0200] rev 78769

merged

wenzelm [Thu, 12 Oct 2023 21:11:59 +0200] rev 78768

prefer Exn.result: avoid accidental capture of interrupts, similar to ML;

wenzelm [Thu, 12 Oct 2023 20:58:15 +0200] rev 78767

clarified user errors vs. failures, e.g. java.lang.StackOverflowError;

wenzelm [Thu, 12 Oct 2023 14:59:59 +0200] rev 78766

further clarification of Exn.is_interrupt_proper vs. overall Exn.is_interrupt;

wenzelm [Thu, 12 Oct 2023 15:45:06 +0200] rev 78765

proper Exn.capture with check_interrupt (amending a3dcae9a2ebe);

wenzelm [Thu, 12 Oct 2023 10:56:45 +0200] rev 78764

distinguish proper interrupts from Poly/ML RTS breakdown;

wenzelm [Wed, 11 Oct 2023 14:03:16 +0200] rev 78763

tuned;

wenzelm [Wed, 11 Oct 2023 13:49:08 +0200] rev 78762

tuned;

wenzelm [Wed, 11 Oct 2023 12:37:11 +0200] rev 78761

proper Isabelle_Thread.try_catch;

wenzelm [Wed, 11 Oct 2023 12:22:46 +0200] rev 78760

tuned;

isabelle