isabelle: Changelog

wenzelm [Tue, 26 Sep 2023 12:30:08 +0200] rev 78715

clarified signature: distinction of unmanaged vs. managed interrupts (not implemented yet);

wenzelm [Mon, 25 Sep 2023 21:58:58 +0200] rev 78714

clarified signature;

wenzelm [Mon, 25 Sep 2023 21:46:38 +0200] rev 78713

clarified modules;

wenzelm [Mon, 25 Sep 2023 21:36:46 +0200] rev 78712

unused;

wenzelm [Mon, 25 Sep 2023 21:30:46 +0200] rev 78711

clarified order of modules: early access to interrupt management of Isabelle_Threads;

wenzelm [Mon, 25 Sep 2023 21:09:25 +0200] rev 78710

tuned: prefer antiquotation for try-catch;

wenzelm [Mon, 25 Sep 2023 20:56:44 +0200] rev 78709

tuned: prefer antiquotation for try-catch;

wenzelm [Mon, 25 Sep 2023 19:49:25 +0200] rev 78708

tuned: prefer antiquotation for try-finally;

wenzelm [Mon, 25 Sep 2023 19:28:14 +0200] rev 78707

omit pointless capture/release (see also 469a375212c1);

wenzelm [Mon, 25 Sep 2023 19:27:17 +0200] rev 78706

omit pointless capture/release (see also 26774ccb1c74);

isabelle