isabelle: Changelog

wenzelm [Tue, 26 Sep 2023 13:34:04 +0200] rev 78717

tuned;

wenzelm [Tue, 26 Sep 2023 12:46:31 +0200] rev 78716

tuned signature;

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;

isabelle