isabelle: Changelog

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;

wenzelm [Wed, 25 Jan 2023 20:38:38 +0100] rev 77096

more operations for SSH.System;

wenzelm [Wed, 25 Jan 2023 15:26:23 +0100] rev 77095

clarified signature;

wenzelm [Wed, 25 Jan 2023 15:18:06 +0100] rev 77094

tuned;

isabelle