testboard: Changelog

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

added lemma multpHO_plus_plus[simp]

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

Moved in some material from the AFP entry Winding_number_eval

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

merged

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

tuned messages: less verbosity;

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

prefer Other_Isabelle.init instead of adhoc scripts;

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

tuned message, following "isabelle components -a";

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

clean components more accurately: purge other platforms or archives;

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

more operations for SSH.System;

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

clarified signature;

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

tuned;

testboard