Fri, 25 Mar 2022 13:25:26 +0100 updated vscode_extension;
wenzelm [Fri, 25 Mar 2022 13:25:26 +0100] rev 75827
updated vscode_extension;
Fri, 25 Mar 2022 10:45:47 +0100 added parentheses in TPTP output -- seem necessary for some provers
blanchet [Fri, 25 Mar 2022 10:45:47 +0100] rev 75826
added parentheses in TPTP output -- seem necessary for some provers
Thu, 24 Mar 2022 23:54:40 +0100 merged
wenzelm [Thu, 24 Mar 2022 23:54:40 +0100] rev 75825
merged
Thu, 24 Mar 2022 23:33:55 +0100 provide pre-built vscodium-1.65.2 for all platforms;
wenzelm [Thu, 24 Mar 2022 23:33:55 +0100] rev 75824
provide pre-built vscodium-1.65.2 for all platforms;
Thu, 24 Mar 2022 22:35:47 +0100 tuned;
wenzelm [Thu, 24 Mar 2022 22:35:47 +0100] rev 75823
tuned;
Thu, 24 Mar 2022 22:27:17 +0100 provide vscode_extension via component, thus users don't need Node.js development tools;
wenzelm [Thu, 24 Mar 2022 22:27:17 +0100] rev 75822
provide vscode_extension via component, thus users don't need Node.js development tools; proper default for edit_extension; tuned messages;
Thu, 24 Mar 2022 20:45:14 +0100 clarified options;
wenzelm [Thu, 24 Mar 2022 20:45:14 +0100] rev 75821
clarified options; tuned messages;
Thu, 24 Mar 2022 22:43:41 +0000 Some new library lemmas
paulson <lp15@cam.ac.uk> [Thu, 24 Mar 2022 22:43:41 +0000] rev 75820
Some new library lemmas
Thu, 24 Mar 2022 22:21:24 +0000 merged
paulson [Thu, 24 Mar 2022 22:21:24 +0000] rev 75819
merged
Thu, 24 Mar 2022 16:34:44 +0000 tuned
haftmann [Thu, 24 Mar 2022 16:34:44 +0000] rev 75818
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip