isabelle: Changelog

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

paulson [Sun, 11 Sep 2022 13:27:47 +0100] rev 76138

merged

paulson <lp15@cam.ac.uk> [Sun, 11 Sep 2022 13:27:39 +0100] rev 76137

tidied a few ugly proofs

wenzelm [Tue, 13 Sep 2022 11:56:38 +0200] rev 76136

let rsync re-use ssh connection via control path;

wenzelm [Tue, 13 Sep 2022 10:44:47 +0200] rev 76135

clarified command-line;

wenzelm [Tue, 13 Sep 2022 10:34:52 +0200] rev 76134

clarified command-line;

isabelle