| 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 |
| Thu, 24 Mar 2022 16:34:41 +0000 | haftmann | self-contained extraction auf clauses | changeset | files |
| Thu, 24 Mar 2022 16:34:40 +0000 | haftmann | extracted selector function, restoring code generation for let expressions | changeset | files |
| Thu, 24 Mar 2022 16:34:39 +0000 | haftmann | streamlined | changeset | files |
| Thu, 24 Mar 2022 16:34:38 +0000 | haftmann | streamlined | changeset | files |
| Thu, 24 Mar 2022 16:34:37 +0000 | haftmann | streamlined | changeset | files |
| Thu, 24 Mar 2022 16:34:35 +0000 | haftmann | disentangled | changeset | files |
| Wed, 23 Mar 2022 20:26:33 +0100 | wenzelm | merged | changeset | files |
| Wed, 23 Mar 2022 17:24:09 +0100 | wenzelm | tuned message; | changeset | files |
| Wed, 23 Mar 2022 16:53:00 +0100 | wenzelm | more operations; | changeset | files |