isabelle: Changelog

blanchet [Fri, 25 Mar 2022 10:45:47 +0100] rev 75337

added parentheses in TPTP output -- seem necessary for some provers

wenzelm [Thu, 24 Mar 2022 23:54:40 +0100] rev 75336

merged

wenzelm [Thu, 24 Mar 2022 23:33:55 +0100] rev 75335

provide pre-built vscodium-1.65.2 for all platforms;

wenzelm [Thu, 24 Mar 2022 22:35:47 +0100] rev 75334

tuned;

wenzelm [Thu, 24 Mar 2022 22:27:17 +0100] rev 75333

provide vscode_extension via component, thus users don't need Node.js development tools; proper default for edit_extension; tuned messages;

wenzelm [Thu, 24 Mar 2022 20:45:14 +0100] rev 75332

clarified options; tuned messages;

paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 22:43:41 +0000] rev 75331

Some new library lemmas

paulson [Thu, 24 Mar 2022 22:21:24 +0000] rev 75330

merged

paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 18:50:11 +0000] rev 75329

really removing Dedekind_real

paulson [Thu, 24 Mar 2022 18:28:51 +0000] rev 75328

merged

isabelle