| Fri, 25 Mar 2022 16:41:03 +0100 |
wenzelm |
tuned text, without update of component for now;
|
changeset |
files
|
| Fri, 25 Mar 2022 16:40:48 +0100 |
wenzelm |
omit somewhat pointless integrity check;
|
changeset |
files
|
| Fri, 25 Mar 2022 16:35:15 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 25 Mar 2022 13:52:23 +0100 |
blanchet |
compile TPTP module
|
changeset |
files
|
| Fri, 25 Mar 2022 13:52:23 +0100 |
blanchet |
compile mirabelle
|
changeset |
files
|
| Fri, 25 Mar 2022 13:52:23 +0100 |
blanchet |
further modernized E setup
|
changeset |
files
|
| 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
|