isabelle: Changelog

haftmann [Thu, 26 Jan 2023 15:18:55 +0100] rev 77106

tuned whitespace

desharna [Fri, 27 Jan 2023 16:52:39 +0100] rev 77105

merged

desharna [Fri, 27 Jan 2023 12:25:36 +0100] rev 77104

added lemma multpHO_plus_plus[simp]

paulson <lp15@cam.ac.uk> [Fri, 27 Jan 2023 13:57:52 +0000] rev 77103

Shortened a messy proof

paulson <lp15@cam.ac.uk> [Thu, 26 Jan 2023 13:59:51 +0000] rev 77102

Moved in some material from the AFP entry Winding_number_eval

wenzelm [Wed, 25 Jan 2023 22:00:21 +0100] rev 77101

merged

wenzelm [Wed, 25 Jan 2023 21:49:08 +0100] rev 77100

tuned messages: less verbosity;

wenzelm [Wed, 25 Jan 2023 21:10:20 +0100] rev 77099

prefer Other_Isabelle.init instead of adhoc scripts;

wenzelm [Wed, 25 Jan 2023 20:52:36 +0100] rev 77098

tuned message, following "isabelle components -a";

wenzelm [Wed, 25 Jan 2023 20:42:24 +0100] rev 77097

clean components more accurately: purge other platforms or archives;

isabelle