| Fri, 25 Mar 2022 13:52:23 +0100 |
blanchet |
cleaned up obsolete E setup and a bit of SPASS
|
changeset |
files
|
| Fri, 25 Mar 2022 13:52:23 +0100 |
blanchet |
second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
|
changeset |
files
|
| Fri, 25 Mar 2022 13:52:23 +0100 |
blanchet |
first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'
|
changeset |
files
|
| Fri, 25 Mar 2022 13:25:26 +0100 |
wenzelm |
updated vscode_extension;
|
changeset |
files
|
| Fri, 25 Mar 2022 10:45:47 +0100 |
blanchet |
added parentheses in TPTP output -- seem necessary for some provers
|
changeset |
files
|
| Thu, 24 Mar 2022 23:54:40 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 24 Mar 2022 23:33:55 +0100 |
wenzelm |
provide pre-built vscodium-1.65.2 for all platforms;
|
changeset |
files
|
| Thu, 24 Mar 2022 22:35:47 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 24 Mar 2022 22:27:17 +0100 |
wenzelm |
provide vscode_extension via component, thus users don't need Node.js development tools;
|
changeset |
files
|
| Thu, 24 Mar 2022 20:45:14 +0100 |
wenzelm |
clarified options;
|
changeset |
files
|
| Thu, 24 Mar 2022 22:43:41 +0000 |
paulson |
Some new library lemmas
|
changeset |
files
|
| Thu, 24 Mar 2022 22:21:24 +0000 |
paulson |
merged
|
changeset |
files
|
| Thu, 24 Mar 2022 18:50:11 +0000 |
paulson |
really removing Dedekind_real
|
changeset |
files
|
| Thu, 24 Mar 2022 18:28:51 +0000 |
paulson |
merged
|
changeset |
files
|