Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 01 Apr 2022 10:55:32 +0200 clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
changeset
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;
Thu, 31 Mar 2022 22:40:34 +0200 tuned: eliminted do-while for the sake of scala3;
changeset
wenzelm [Thu, 31 Mar 2022 22:40:34 +0200] rev 75382
tuned: eliminted do-while for the sake of scala3;
Thu, 31 Mar 2022 22:24:11 +0200 prefer scala 3.0.x, for option "-source 3.0-migration";
changeset
wenzelm [Thu, 31 Mar 2022 22:24:11 +0200] rev 75381
prefer scala 3.0.x, for option "-source 3.0-migration";
Thu, 31 Mar 2022 21:51:19 +0200 tuned: avoid problems with scala3;
changeset
wenzelm [Thu, 31 Mar 2022 21:51:19 +0200] rev 75380
tuned: avoid problems with scala3;
Thu, 31 Mar 2022 21:48:08 +0200 tuned: avoid problems with scala3;
changeset
wenzelm [Thu, 31 Mar 2022 21:48:08 +0200] rev 75379
tuned: avoid problems with scala3;
Wed, 30 Mar 2022 16:18:25 +0200 provide SCALA_INTERFACES for isabelle_setup;
changeset
wenzelm [Wed, 30 Mar 2022 16:18:25 +0200] rev 75378
provide SCALA_INTERFACES for isabelle_setup;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip
isabelle