| Fri, 01 Apr 2022 12:26:45 +0200 |
blanchet |
merge
|
changeset |
files
|
| Fri, 01 Apr 2022 11:30:28 +0200 |
blanchet |
tuned slices to get the fifth Zipperposition slice in a typical run
|
changeset |
files
|
| Fri, 01 Apr 2022 11:51:42 +0200 |
desharna |
merged
|
changeset |
files
|
| Fri, 01 Apr 2022 11:21:03 +0200 |
desharna |
tuned sledgehammer documentation
|
changeset |
files
|
| Fri, 01 Apr 2022 11:27:04 +0200 |
wenzelm |
tuned spelling;
|
changeset |
files
|
| Fri, 01 Apr 2022 11:21:58 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 01 Apr 2022 11:18:03 +0200 |
wenzelm |
updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
|
changeset |
files
|
| 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
|