wenzelm [Sat, 09 Apr 2022 12:07:51 +0200] rev 75427
tuned --- avoid warnings in scala3;
wenzelm [Sat, 09 Apr 2022 12:03:56 +0200] rev 75426
tuned --- avoid redundant patterns;
wenzelm [Sat, 09 Apr 2022 12:02:38 +0200] rev 75425
avoid pattern-match warnings, notably in scala3;
wenzelm [Sat, 09 Apr 2022 11:56:48 +0200] rev 75424
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
wenzelm [Sat, 09 Apr 2022 11:45:39 +0200] rev 75423
tuned --- accomodate scala3;
wenzelm [Sat, 09 Apr 2022 11:41:37 +0200] rev 75422
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
wenzelm [Fri, 08 Apr 2022 16:42:52 +0200] rev 75421
back to more ambitious scala-3.1.1 (see 8b7497992301);
wenzelm [Fri, 08 Apr 2022 16:26:48 +0200] rev 75420
tuned --- fewer warnings in scala3;
wenzelm [Fri, 08 Apr 2022 15:56:14 +0200] rev 75419
tuned -- avoid warnings for scala3;
wenzelm [Fri, 08 Apr 2022 15:49:33 +0200] rev 75418
tuned signature -- avoid warnings for scala3;
wenzelm [Fri, 08 Apr 2022 09:58:49 +0200] rev 75417
removed unused flag (see 25c6423ec538);
wenzelm [Thu, 07 Apr 2022 20:15:58 +0200] rev 75416
clarified versions;
haftmann [Sat, 09 Apr 2022 11:40:42 +0200] rev 75415
documentation on diagnostic devices for code generation
haftmann [Sat, 09 Apr 2022 11:27:09 +0200] rev 75414
more correct language
blanchet [Fri, 08 Apr 2022 17:17:21 +0200] rev 75413
enable an E option suggested by Petar Vukmirovic
desharna [Thu, 07 Apr 2022 12:37:42 +0200] rev 75412
used HTTPS for SystemOnTPTP
haftmann [Thu, 07 Apr 2022 05:55:48 +0000] rev 75411
moved from AFP to distribution
wenzelm [Wed, 06 Apr 2022 12:13:35 +0200] rev 75410
avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
wenzelm [Wed, 06 Apr 2022 12:11:30 +0200] rev 75409
more operations;
tuned message: Class.toString already says "class ...";
wenzelm [Wed, 06 Apr 2022 11:09:58 +0200] rev 75408
clarified signature;
wenzelm [Mon, 04 Apr 2022 23:50:40 +0200] rev 75407
tuned: avoid ambiguity in scala3;
wenzelm [Mon, 04 Apr 2022 23:46:14 +0200] rev 75406
clarified signature: avoid ambiguity in scala3;
wenzelm [Mon, 04 Apr 2022 23:33:14 +0200] rev 75405
clarified signature: avoid ambiguity in scala3;
wenzelm [Mon, 04 Apr 2022 22:42:12 +0200] rev 75404
more robust types (for scala3);
wenzelm [Mon, 04 Apr 2022 22:06:40 +0200] rev 75403
tuned for scala3;
wenzelm [Mon, 04 Apr 2022 22:04:20 +0200] rev 75402
proper indentation (relevant for scala3);
haftmann [Sun, 03 Apr 2022 09:07:37 +0000] rev 75401
adjusted printing of type annotations to accomodate Scala 3
paulson <lp15@cam.ac.uk> [Sun, 03 Apr 2022 14:48:55 +0100] rev 75400
two new examples
haftmann [Sat, 02 Apr 2022 17:03:35 +0000] rev 75399
pass constructor arity as part of case certficiate
haftmann [Sat, 02 Apr 2022 17:03:34 +0000] rev 75398
tuned whitespace in generated code
haftmann [Fri, 01 Apr 2022 16:41:16 +0000] rev 75397
tuned, centralizing case distinction at one place at the cost of modest duplication
wenzelm [Fri, 01 Apr 2022 23:51:07 +0200] rev 75396
clarified formatting, for the sake of scala3;
wenzelm [Fri, 01 Apr 2022 23:26:19 +0200] rev 75395
merged
wenzelm [Fri, 01 Apr 2022 23:19:12 +0200] rev 75394
tuned formatting;
wenzelm [Fri, 01 Apr 2022 17:06:10 +0200] rev 75393
clarified formatting, for the sake of scala3;
haftmann [Fri, 01 Apr 2022 10:54:40 +0000] rev 75392
tuned
haftmann [Fri, 01 Apr 2022 10:54:40 +0000] rev 75391
tuned
blanchet [Fri, 01 Apr 2022 12:26:45 +0200] rev 75390
merge
blanchet [Fri, 01 Apr 2022 11:30:28 +0200] rev 75389
tuned slices to get the fifth Zipperposition slice in a typical run
desharna [Fri, 01 Apr 2022 11:51:42 +0200] rev 75388
merged
desharna [Fri, 01 Apr 2022 11:21:03 +0200] rev 75387
tuned sledgehammer documentation
wenzelm [Fri, 01 Apr 2022 11:27:04 +0200] rev 75386
tuned spelling;
wenzelm [Fri, 01 Apr 2022 11:21:58 +0200] rev 75385
merged
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