isabelle: Changelog

wenzelm [Wed, 14 Sep 2022 14:59:01 +0200] rev 76148

support port forwarding without multiplexing (for the sake of Windows);

wenzelm [Wed, 14 Sep 2022 14:54:21 +0200] rev 76147

misc tuning and clarification; proper shutdown_hook;

wenzelm [Wed, 14 Sep 2022 10:46:47 +0200] rev 76146

clarified signature;

wenzelm [Tue, 13 Sep 2022 23:06:52 +0200] rev 76145

clarified signature;

wenzelm [Tue, 13 Sep 2022 23:01:42 +0200] rev 76144

clarified signature;

haftmann [Wed, 14 Sep 2022 09:15:00 +0000] rev 76143

More on division concerning gauss numbers.

wenzelm [Tue, 13 Sep 2022 22:36:41 +0200] rev 76142

more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier;

haftmann [Tue, 13 Sep 2022 12:30:37 +0000] rev 76141

more concise instance-specific rules on euclidean relation

paulson [Tue, 13 Sep 2022 18:56:48 +0100] rev 76140

merged

paulson <lp15@cam.ac.uk> [Tue, 13 Sep 2022 18:56:39 +0100] rev 76139

Tidied a few more proofs

isabelle