2022-03-28 |
haftmann |
modernized handling of variables
|
changeset |
files
|
2022-03-27 |
haftmann |
structurally tuned
|
changeset |
files
|
2022-03-27 |
haftmann |
tuned names
|
changeset |
files
|
2022-03-27 |
haftmann |
prefer build combinator
|
changeset |
files
|
2022-03-27 |
haftmann |
tuned whitespace
|
changeset |
files
|
2022-03-25 |
wenzelm |
proper option argument;
|
changeset |
files
|
2022-03-25 |
wenzelm |
prefer Isabelle shasum over the old command-line tool with its extra marker character;
|
changeset |
files
|
2022-03-25 |
wenzelm |
tuned signature;
|
changeset |
files
|
2022-03-25 |
wenzelm |
tuned signature;
|
changeset |
files
|
2022-03-25 |
wenzelm |
tuned text, without update of component for now;
|
changeset |
files
|
2022-03-25 |
wenzelm |
omit somewhat pointless integrity check;
|
changeset |
files
|
2022-03-25 |
wenzelm |
tuned;
|
changeset |
files
|
2022-03-25 |
blanchet |
compile TPTP module
|
changeset |
files
|
2022-03-25 |
blanchet |
compile mirabelle
|
changeset |
files
|
2022-03-25 |
blanchet |
further modernized E setup
|
changeset |
files
|
2022-03-25 |
blanchet |
cleaned up obsolete E setup and a bit of SPASS
|
changeset |
files
|
2022-03-25 |
blanchet |
second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
|
changeset |
files
|
2022-03-25 |
blanchet |
first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'
|
changeset |
files
|
2022-03-25 |
wenzelm |
updated vscode_extension;
|
changeset |
files
|
2022-03-25 |
blanchet |
added parentheses in TPTP output -- seem necessary for some provers
|
changeset |
files
|
2022-03-24 |
wenzelm |
merged
|
changeset |
files
|
2022-03-24 |
wenzelm |
provide pre-built vscodium-1.65.2 for all platforms;
|
changeset |
files
|
2022-03-24 |
wenzelm |
tuned;
|
changeset |
files
|
2022-03-24 |
wenzelm |
provide vscode_extension via component, thus users don't need Node.js development tools;
|
changeset |
files
|
2022-03-24 |
wenzelm |
clarified options;
|
changeset |
files
|
2022-03-24 |
paulson |
Some new library lemmas
|
changeset |
files
|
2022-03-24 |
paulson |
merged
|
changeset |
files
|
2022-03-24 |
paulson |
really removing Dedekind_real
|
changeset |
files
|
2022-03-24 |
paulson |
merged
|
changeset |
files
|
2022-03-24 |
paulson |
Moving Dedekind_Real to the AFP
|
changeset |
files
|
2022-03-24 |
haftmann |
tuned
|
changeset |
files
|
2022-03-24 |
haftmann |
separated case reduction
|
changeset |
files
|
2022-03-24 |
haftmann |
separated selector function entirely
|
changeset |
files
|
2022-03-24 |
haftmann |
self-contained extraction auf clauses
|
changeset |
files
|
2022-03-24 |
haftmann |
extracted selector function, restoring code generation for let expressions
|
changeset |
files
|
2022-03-24 |
haftmann |
streamlined
|
changeset |
files
|
2022-03-24 |
haftmann |
streamlined
|
changeset |
files
|
2022-03-24 |
haftmann |
streamlined
|
changeset |
files
|
2022-03-24 |
haftmann |
disentangled
|
changeset |
files
|
2022-03-23 |
wenzelm |
merged
|
changeset |
files
|
2022-03-23 |
wenzelm |
tuned message;
|
changeset |
files
|
2022-03-23 |
wenzelm |
more operations;
|
changeset |
files
|
2022-03-23 |
wenzelm |
tuned signature;
|
changeset |
files
|
2022-03-23 |
wenzelm |
more robust install/uninstall;
|
changeset |
files
|
2022-03-23 |
wenzelm |
more formal extension_manifest, with shasum for sources;
|
changeset |
files
|
2022-03-23 |
wenzelm |
tuned;
|
changeset |
files
|
2022-03-23 |
wenzelm |
tuned signature;
|
changeset |
files
|
2022-03-23 |
wenzelm |
clarified signature;
|
changeset |
files
|
2022-03-23 |
wenzelm |
proper usage;
|
changeset |
files
|
2022-03-22 |
wenzelm |
tuned -- follow sha1_digest in src/Tools/Setup/src/Build.java;
|
changeset |
files
|
2022-03-22 |
wenzelm |
tuned signature;
|
changeset |
files
|
2022-03-22 |
wenzelm |
clarified modules;
|
changeset |
files
|
2022-03-22 |
wenzelm |
tuned signature;
|
changeset |
files
|
2022-03-23 |
paulson |
... and removing Primrec from ROOT too
|
changeset |
files
|
2022-03-23 |
paulson |
Removal of the Primrec example in preparation for making it an AFP entry
|
changeset |
files
|
2022-03-23 |
desharna |
merged
|
changeset |
files
|
2022-02-23 |
desharna |
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
|
changeset |
files
|
2022-03-14 |
Mathias Fleury |
split veriT reconstruction into Lethe and veriT part
|
changeset |
files
|
2022-03-22 |
wenzelm |
clarified options;
|
changeset |
files
|
2022-03-22 |
wenzelm |
more robust errors -- on foreground process instead of background server;
|
changeset |
files
|