wenzelm [Fri, 01 Apr 2022 11:18:03 +0200] rev 75384
updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
wenzelm [Fri, 01 Apr 2022 10:55:32 +0200] rev 75383
clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
wenzelm [Thu, 31 Mar 2022 22:40:34 +0200] rev 75382
tuned: eliminted do-while for the sake of scala3;
wenzelm [Thu, 31 Mar 2022 22:24:11 +0200] rev 75381
prefer scala 3.0.x, for option "-source 3.0-migration";
wenzelm [Thu, 31 Mar 2022 21:51:19 +0200] rev 75380
tuned: avoid problems with scala3;
wenzelm [Thu, 31 Mar 2022 21:48:08 +0200] rev 75379
tuned: avoid problems with scala3;
wenzelm [Wed, 30 Mar 2022 16:18:25 +0200] rev 75378
provide SCALA_INTERFACES for isabelle_setup;
wenzelm [Sat, 26 Mar 2022 14:12:38 +0100] rev 75377
build Isabelle Scala component from official downloads (for scala-3.1.1);
desharna [Fri, 01 Apr 2022 09:58:05 +0200] rev 75376
added documentation
desharna [Fri, 01 Apr 2022 09:41:20 +0200] rev 75375
merged
desharna [Thu, 31 Mar 2022 18:12:38 +0200] rev 75374
tuned sledehammer to return best succeeding preplay method
desharna [Wed, 30 Mar 2022 10:37:38 +0200] rev 75373
expanded sledgehammer's expect option with some_preplayed
desharna [Tue, 29 Mar 2022 17:12:15 +0200] rev 75372
added preplay results to sledgehammer_output
desharna [Thu, 31 Mar 2022 18:14:32 +0200] rev 75371
tuned sledgehammer to suggest (smt (verit)) on failing smt preplay for all but Z3
blanchet [Thu, 31 Mar 2022 18:14:11 +0200] rev 75370
further tweaked E's setup
blanchet [Thu, 31 Mar 2022 15:26:18 +0200] rev 75369
tweaked E setup
desharna [Tue, 29 Mar 2022 17:12:44 +0200] rev 75368
merged
desharna [Tue, 29 Mar 2022 13:31:45 +0200] rev 75367
post-merged into new Lethe code
desharna [Tue, 29 Mar 2022 12:55:25 +0200] rev 75366
merged
desharna [Mon, 28 Mar 2022 17:16:42 +0200] rev 75365
fixed generation of Isar proofs e89709b80b6e
haftmann [Tue, 29 Mar 2022 15:44:27 +0200] rev 75364
NEWS and CONTRIBUTORS
blanchet [Tue, 29 Mar 2022 12:50:30 +0200] rev 75363
nicer TPTP output
haftmann [Tue, 29 Mar 2022 08:06:07 +0200] rev 75362
regenerated
haftmann [Tue, 29 Mar 2022 06:02:17 +0000] rev 75361
tighter check to ensure that patterns remain left-linear, previous implementation was overcautious
haftmann [Tue, 29 Mar 2022 06:02:16 +0000] rev 75360
tuned
haftmann [Tue, 29 Mar 2022 06:02:14 +0000] rev 75359
tuned
haftmann [Mon, 28 Mar 2022 12:54:13 +0000] rev 75358
separated treatment of undefined bodys
haftmann [Mon, 28 Mar 2022 12:54:11 +0000] rev 75357
tuned arguments
haftmann [Mon, 28 Mar 2022 12:54:09 +0000] rev 75356
modernized handling of variables
haftmann [Sun, 27 Mar 2022 19:27:54 +0000] rev 75355
structurally tuned