| Fri, 01 Apr 2022 10:55:32 +0200 |
wenzelm |
clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
|
changeset |
files
|
| Thu, 31 Mar 2022 22:40:34 +0200 |
wenzelm |
tuned: eliminted do-while for the sake of scala3;
|
changeset |
files
|
| Thu, 31 Mar 2022 22:24:11 +0200 |
wenzelm |
prefer scala 3.0.x, for option "-source 3.0-migration";
|
changeset |
files
|
| Thu, 31 Mar 2022 21:51:19 +0200 |
wenzelm |
tuned: avoid problems with scala3;
|
changeset |
files
|
| Thu, 31 Mar 2022 21:48:08 +0200 |
wenzelm |
tuned: avoid problems with scala3;
|
changeset |
files
|
| Wed, 30 Mar 2022 16:18:25 +0200 |
wenzelm |
provide SCALA_INTERFACES for isabelle_setup;
|
changeset |
files
|
| Sat, 26 Mar 2022 14:12:38 +0100 |
wenzelm |
build Isabelle Scala component from official downloads (for scala-3.1.1);
|
changeset |
files
|
| Fri, 01 Apr 2022 09:58:05 +0200 |
desharna |
added documentation
|
changeset |
files
|
| Fri, 01 Apr 2022 09:41:20 +0200 |
desharna |
merged
|
changeset |
files
|
| Thu, 31 Mar 2022 18:12:38 +0200 |
desharna |
tuned sledehammer to return best succeeding preplay method
|
changeset |
files
|
| Wed, 30 Mar 2022 10:37:38 +0200 |
desharna |
expanded sledgehammer's expect option with some_preplayed
|
changeset |
files
|
| Tue, 29 Mar 2022 17:12:15 +0200 |
desharna |
added preplay results to sledgehammer_output
|
changeset |
files
|
| Thu, 31 Mar 2022 18:14:32 +0200 |
desharna |
tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3
|
changeset |
files
|
| Thu, 31 Mar 2022 18:14:11 +0200 |
blanchet |
further tweaked E's setup
|
changeset |
files
|
| Thu, 31 Mar 2022 15:26:18 +0200 |
blanchet |
tweaked E setup
|
changeset |
files
|
| Tue, 29 Mar 2022 17:12:44 +0200 |
desharna |
merged
|
changeset |
files
|
| Tue, 29 Mar 2022 13:31:45 +0200 |
desharna |
post-merged into new Lethe code
|
changeset |
files
|
| Tue, 29 Mar 2022 12:55:25 +0200 |
desharna |
merged
|
changeset |
files
|
| Mon, 28 Mar 2022 17:16:42 +0200 |
desharna |
fixed generation of Isar proofs e89709b80b6e
|
changeset |
files
|
| Tue, 29 Mar 2022 15:44:27 +0200 |
haftmann |
NEWS and CONTRIBUTORS
|
changeset |
files
|
| Tue, 29 Mar 2022 12:50:30 +0200 |
blanchet |
nicer TPTP output
|
changeset |
files
|
| Tue, 29 Mar 2022 08:06:07 +0200 |
haftmann |
regenerated
|
changeset |
files
|
| Tue, 29 Mar 2022 06:02:17 +0000 |
haftmann |
tighter check to ensure that patterns remain left-linear, previous implementation was overcautious
|
changeset |
files
|
| Tue, 29 Mar 2022 06:02:16 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Tue, 29 Mar 2022 06:02:14 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Mon, 28 Mar 2022 12:54:13 +0000 |
haftmann |
separated treatment of undefined bodys
|
changeset |
files
|
| Mon, 28 Mar 2022 12:54:11 +0000 |
haftmann |
tuned arguments
|
changeset |
files
|
| Mon, 28 Mar 2022 12:54:09 +0000 |
haftmann |
modernized handling of variables
|
changeset |
files
|
| Sun, 27 Mar 2022 19:27:54 +0000 |
haftmann |
structurally tuned
|
changeset |
files
|
| Sun, 27 Mar 2022 19:27:53 +0000 |
haftmann |
tuned names
|
changeset |
files
|
| Sun, 27 Mar 2022 19:27:52 +0000 |
haftmann |
prefer build combinator
|
changeset |
files
|
| Sun, 27 Mar 2022 19:27:50 +0000 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Fri, 25 Mar 2022 17:21:39 +0100 |
wenzelm |
proper option argument;
|
changeset |
files
|
| Fri, 25 Mar 2022 17:20:12 +0100 |
wenzelm |
prefer Isabelle shasum over the old command-line tool with its extra marker character;
|
changeset |
files
|
| Fri, 25 Mar 2022 17:08:32 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 25 Mar 2022 17:00:12 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| 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
|
| 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
|
| Thu, 24 Mar 2022 18:28:44 +0000 |
paulson |
Moving Dedekind_Real to the AFP
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:44 +0000 |
haftmann |
tuned
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:43 +0000 |
haftmann |
separated case reduction
|
changeset |
files
|
| Thu, 24 Mar 2022 16:34:42 +0000 |
haftmann |
separated selector function entirely
|
changeset |
files
|